Read before editing documentation! If you want to edit the docs, update the markdown files in docs/content, not the html files in docs. The html files are generated from the markdown files, so any changes you make will be erased when the html is regenerated.