Message 411636 - Python tracker

IMO moving this small script into the separated project https://github.com/JulienPalard/sphinxlint will help people who are not core developers to contribute and it makes the tool usable by projects outside CPython. So yeah, it's a good thing!

Also, it's more convenient to add tests, put it on PyPI, etc.