PHPDocScraper WIP tool to scrape official PHP function docs into a folder of PDFs. Formatting is screwed up.