4 ms·The original title, with punctuation, is basically fine. It's HN that mangled it.by TillE 10y agoThe original title, with punctuation, is basically fine. It's HN that mangled it.