Probably HN title filtering that did it. They try to prevent titles like “10 facts about cats” etc, automatically removing leading numbers. But sometimes, like

Probably HN title filtering that did it. They try to prevent titles like “10 facts about cats” etc, automatically removing leading numbers. But sometimes, like here, it doesn’t have quite the intended effect.