chore: lowercase for filenames

docs/dev/howto/documenting.md

@@ -0,0 +1,27 @@
+
+# Documenting
+
+## Using Sphinx
+
+One can simply create docs with Sphinx and open them, by doing:
+
+```shell
+make docs
+```
+
+Remark that this needs to be done in docker.
+
+The documentation contains both files written by hand by developers (the .md files) and files automatically created by parsing the source files.
+
+### Opening doc
+
+On macOS, one can do
+
+```shell
+make open_docs
+```
+
+On other systems, simply open `docs/_build/html/index.html`
+
+
+