Merge pull request #8288 from francoisfreitag/outdated_comment

Outdated comment in docs config for intersphinx

doc/conf.py

@@ -110,8 +110,6 @@ texinfo_documents = [
      1),
 ]
 
-# We're not using intersphinx right now, but if we did, this would be part of
-# the mapping:
 intersphinx_mapping = {'python': ('https://docs.python.org/3/', None)}
 
 # Sphinx document translation with sphinx gettext feature uses these settings: