I’d guess that every time user presses “shuffle” they just shuffle the playlist and never change the order afterwards. So song order is really not random it’s shuffled