An HTML5 music player.