Tweak some folder names in the phpdoc process.