Took *.html out of gitignore so we track docu changes.