In case this is useful to anyone else:
There's probably an easier way to do it, but if you want to get faster playback (2x is about as fast as I can comprehend this lecturer at), this line seems to do the trick:
document.getElementById("myElement").querySelector("video").playbackRate = 2