A technical note

I was wondering why the numerous files on the songs page weren't playing at all on some browsers.
It turns out that eg Firefox and Vivaldi can only play .ogg files, not mp3s, so it will take some time to convert and upload everything.
I think it will be a good opportunity to rename the files also, as a lot of them have similar names.