Comment by radarsat1

A comment from there:

> There are plans to release a PDF version; need to fix some formatting issues + convert the animated diagrams into static images.

I don't see anything on the page about it, has there been an update on this? I'd love to put this on my e-reader.