[alanbernstein]

nitnitnitpick: GP is likely (and overly pedantically) referring to the use of a PRNG to implement the shuffle, rather than using a true random source.