Jan. 27, 2018
2:15 p.m.
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