To his credit, he may have tried searching for it with reddit's search feature, which isn't great. I still agree with you though --- a simple google search is really often better than using a given website's search functionality, and I think it's fair to say that a given HN reader should be privy to that knowledge.