The submitted title broke the HN guidelines against editorializing titles. Cherry-picking a detail from an article and making that the title is a form of editorializing—the most common form, in fact.

I've replaced it with the first sentence of the abstract, which does a slightly more accurate and neutral job of expressing what the article is about than the primary title does.

"Please use the original title, unless it is misleading or linkbait; don't editorialize."

https://news.ycombinator.com/newsguidelines.html