[randomstate]

I love it, I was looking for a simple music player like this! FYI Currently the standard bookmark shortcut `cmd + d` changes the theme instead of bookmarking the website :-)