Check removed HTML IDs #145000
Description
As discussed in https://discuss.python.org/t/tracking-removed-html-ids/106037, let's track HTML IDs in docs so that removing one is a conscious decision.
{{ message }}
As discussed in https://discuss.python.org/t/tracking-removed-html-ids/106037, let's track HTML IDs in docs so that removing one is a conscious decision.