Pick one or more random lines from input

Changes for 0.021 - 2023-11-20

• [ux] Add pick as shorter alias for pick-random-lines.
• [doc] Mention shuf.