Actually, after some discussion (on wikitech-l, I think it was) I made the numbering more flexible: There need to be different headings in the article for this to work, a single kind won't do. That is because some people decided to use headings for large fonts and nothing else :-(
Ah, that's what that piece of code is for. This function is one I stole directly from you without rewriting it, mainly because I wasn't sure what it was doing.
I don't think that's the right thing to do--code that accomodates misuse encourages misuse. Just like "defensive" coding--by hiding errors instead of highlighting them, you produce more. If people are using headings for things other than headings, or not using them in good nesting order, then they /should/ get bad results so that they'll have to fix it, or so that someone who sees the bad result will fix it.
I think I do, however, like having it under user control, but I'm not sure about that. I'd like to hear other opinions on whether or not the author should be able to force the numbering or supress it. 0