HN headlines are often changed by moderators to match the article's title. That might have happened here.