rand.Shuffle was introduced in 1.10 which is currently the tip, maybe it's a case of lessons learned?