I think we have to add that one to https://news.ycombinator.com/highlights https://news.ycombinator.com/highlights! (I mention this so more people can know the

I think we have to add that one to https://news.ycombinator.com/highlights https://news.ycombinator.com/highlights! (I mention this so more people can know the list exists, and hopefully email us more nominations when they see an unusually good and interesting comment.)