### 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.