Doc; refactor dev files to be used in mkdocs documentation
Last part of mkdocs material conversion: dev files.
GitLab upgrade completed. Current version is 17.11.1. We now benefit from the features of the release 17.11.
Last part of mkdocs material conversion: dev files.