HTML5 audio with playlist

Here is another experiment I’d like to share with you. This extension adds a playlist to the standard HTML5 audio player.