Yeah but what's sad is that

    $ man -k shuffle

gives pstops (1) - shuffle pages in a PostScript file

I wish I knew about shuf. I've been using sort -R or using Python.

It's not the documentation, it's knowing which tools exist in the first place.

oh sorry, I mean

    http://linux.die.net/man/1/shuf

since if it's not on the internet, how will anyone ever find it?