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