Yet another tool to convert the online topos to temporary PDFs for use in guide generation. WIP