I searched for Bugs and somehow missed that thread.

]]>I guess that perhaps you were looking for this thread Tim?

]]>transferred to another thread in the nLab Technical Matters category.

]]>I guess that this is a candidate for an FAQ on the nLab ... ]]>

I guess the quick fix is to assign a reference to every time you use a .num_thing class. ]]>

Oh, I think I have an idea why... Theorem 6 is the sixth .num_theorem, but only the third such theorem that has a #label assigned to it.

]]>Is there a bug in the handling of theorem numbering? The last paragraph of this page refers to "Theorem 3" but it should really be "Theorem 6."

]]>