For anyone not familiar with the (now 16 year old) comment that Colin is perhaps best remembered here for - https://news.ycombinator.com/item?id=35079

He’s brought far more value to the community than that, of course.