According to this user comment, there is a demand for exporting the User Guide to PDF so we should add support for this as well.