docs/md/index.md to change the contents of this page. This will be your starting
page on your GitHub Pages site.
To get started, run
codedoc check to see which configurations you most probably need to change,
and get instructions on how to change them. Also don't forget to check the official docs of CODEDOC.