On: Ask HN: Why are modern music players so bad at playing music in random order?

[muznar]

That is a really cool app. I have been using Miniplay for this. Already installed it and uninstalled Miniplay.

Edit: Oh, and it is always on top, you are my favorite open source contributor.