Popcorn.js interaction

The magnificent (if trivial) Popcorn.js‐powered footnotes area

So realistic you’d think it was a <video>—but it’s not! It’s not even pretending to be a <video>. Of course, this is a trivial example—I offer no guarantees of all the standard plugins working, with or without .pretendToBeAVideo(). But things should Just Work™.

Oh, another thing I haven’t mentioned elsewhere: when the terminal is in normal mode, it keeps history and you can scroll back. At some point I want to implement a scroll bar (actually, I want to be able to use completely normal browser scrolling, i.e. keep all the lines in the DOM and use normal overflow behaviour), but for now just using the scroll wheel works.