Removing HTML doc files from github.