Thread:Extension talk:CategorySortHeaders/Thanks a lot for this extension. It helped me a lot!/reply

Glad it was useful to you.

Alas, I wish that mediawiki did natural number sorting, and grouped digits as 0-9 out of the box (In theory possible without to much trouble using ICU library, but nobody has really looked into it).