[Wikimedia-l] If your wiki wants numerical sorting in categories