Aside: damn, I should have sat on this and exploited it, how dumb am I

The current version of MediaWiki doesn’t seem to use them, or have an easy way to enable them. They’re still numbered in the index at the top.

It may not be the worst idea to change that glossary entry, as a software-enforced index is arguably no more part of the ruleset than the navigation links at the side.

The rules are still numbered; a MediaWiki upgrade can’t change the ruleset. It’s just that the ruleset itself has become inaccurate.

For what it’s worth, I’ve always been against using autonumbering in the ruleset because the numbers can change unexpectedly. (Kevan may remember the incident where I persuaded an admin to add a new rule at the top of the ruleset, so as to throw off the numbering and thus cause a pending proposal to amend the wrong rule.)