Reorganise generation and displaying of html. Added comments
Improve PHPDocs html.php