This reverts merge request !39 (merged) This was not a good HTML file It had no syntaxes and semantics