Well, to be fair it's working, but always play songs in the exat same order. It's quite annoying, because what's the point of this option if it's not random?

I thought it'll change in some firmware update, but it doesn't, so I decide to report it.