Yeah, that was great and I added it to the highlights list at the time. That's a list we keep of particularly good or cool comments - we used to publish them periodically (https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...) but it was too much work.

Anyone who wants to can see the list: https://news.ycombinator.com/highlights. It's just a handful and tons more are out there, so if anyone finds a post that belongs on it, please let me know at [email protected]. I figure this'll be useful for something someday.