GitLab

To manage external links such as for Python Modules, we are now using the extension sphinx.ext.extlinks to define all of them in the file doc/external_links.py.