[code-quality] Pylint hosting on ReadTheDocs prevents successful searches

[Peter Bittner]

Oh! I was---almost---wrong!

There _is_ a bug obviously in the docs (generator configuration?).
Because the search results on "pylint.readthedocs.io" all include
links to "docs.pylint.org", thus redirecting requests to the
documentation index ("Pylint User Manual"). This issue has already
been reported at https://github.com/PyCQA/pylint/issues/1600

"Almost" wrong, because: A permanent redirect (including the address
path) would also cover that problem.

Peter