4 ms·

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 i

• dang 8y ago
  That's in the site guidelines: 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.