Nothing to see here, only small edits and clean-ups to html files.