OP here. I took the title verbatim from the article to avoid editorializing. I am not sure where HN stands regarding changing the post title to something that is significantly different from the article title.
Please use the original title, unless it is misleading or linkbait.
The article title in this case is arguably both, so we changed it to use a more neutral phrase from the article. That's always the best way to change a title, btw, when you have to. Articles nearly always include some neutral representative phrase that describes what they're about, and it's much better to find a 'native' one that way than to make up a new title oneself. Trick of the trade.