As a postscript,

For the web hackers out there - the lossless animation at the start of the article is not a <video> or a gif.

I got annoyed with how video codecs destroy pixel art, and other things, so I wrote my own.

This was almost more fun than doing the port.