Update comment

Author: DanielNoord

doc/conf.py

@@ -47,15 +47,11 @@
 
 
 # Single file redirects are handled in this file and can be done by a pylint
-# contributor if no englobing full directory redirect is applied first. See:
+# contributor. We use the following extension:
 # https://documatt.gitlab.io/sphinx-reredirects/usage.html
 # Directory redirects are handled in ReadTheDoc admin interface and can only be done
 # by pylint maintainers at the following URL:
 # https://readthedocs.org/dashboard/pylint/redirects/
-DIRECTORY_REDIRECT = [
-    # This list has no effect it must be manually updated from the Read the doc conf
-    "messages/",
-]
 redirects: dict[str, str] = {
     # "<source>": "<target>"
     "intro": "index.html",