.wav conversion for newest player

There doesn’t seem to be a .wav converter or similar in the online player. Am I missing something that should be obvious, or is there a feature missing that the editors are there to cover for?

It is coming soon! I’m currently wrapping up the Alpha which should be available in a few days. Right after that the next scheduled update is to allow to download WAV / MP3 / OGG and maybe also video output (MP4) to help sharing songs.