Temporarily added conversion of PDF User Guide to one-page HTML.