Removing html files. Those can be easily generated using asciidoc.
Minor corrections and addings