Gnomemm documentation in HTML format

