The description in his profile literally said "reddit has a search function". Looks like it's been changed when I viewed it earlier this week.

Quite condescending if you ask me. I'd say most redditors know how to search the Internet.

Edit: Nevermind... it's still there.