Reminds me of the old iTunes shuffle thing. When it was first introduced it was actually random but too many people complained it was broken when they heard the same artist multiple times in a row so they rewrote it as a shuffle algorithm that would feel more random than actual random.
Just goes to show, we don’t actually want random, we want variety.