Use .html as file extension for HTML files generated by phpDox
Tweak
Document Crap4J