Yet another HTML5 <video> player.