I thought it was seeded from /dev/urandom at startup (obviously we can't use /dev/random unless you want to sit randomly pressing buttons at startup before it wakes up).

Maybe we ought to reseed it before each shuffle operation. I'll look into it.

--
Mike Crowe
I may not be speaking on behalf of empeg above :-)