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 do

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.