GH-145000: Add a tool to check removed HTML IDs#145001

encukou wants to merge 5 commits intopython:mainpython/cpython:mainfrom

encukou:check-removed-anchorsencukou/cpython:check-removed-anchorsCopy head branch name to clipboard