mkdocs: rendre les #4149 comme liens vers les issues gitlab
En particulier pour #3894.
Vraisemblablement par un plugin custom.
https://www.mkdocs.org/user-guide/plugins/
issue
GitLab upgrade completed. Current version is 18.11.6
https://docs.gitlab.com/releases/18/gitlab-18-11-released/