Add HTML documentation, English and formatting changes