jans
jans copied to clipboard
docs: consistent index file naming convention
Mkdocs makes no distinction (anymore) between files named README.md
and index.md
. Right now, we have a mixture of the two. It makes more sense for the README.md
naming convention, since those files will be rendered in Github for anyone browsing the file tree that way. We should rename all the index.md
files.