fix #752
HTML tidying

Strips HTML comments
Uses PHP tidy if available to rationalize tags