Removing html files, but sure they will still regenerate, and also be
ignored by GitHub, as they should be locally.