Comment by eliben

What I especially like about the HTML5 player is the ability to change the playback speed. It is extremely useful for watching lectures & talks.