Not sure what happened here—the submitter is a good contributor, so most likely it was a simple misunderstanding—but yeah, the title shouldn't have been editori

Not sure what happened here—the submitter is a good contributor, so most likely it was a simple misunderstanding—but yeah, the title shouldn't have been editorialized (https://news.ycombinator.com/newsguidelines.html https://news.ycombinator.com/newsguidelines.html).