What's the rule on titles now? I thought HN had a strict 'no editorializing headlines' policy, but I see the article has a different headline than what was posted here