Hacker News Reader

They did. They even linked to wikipedia pages on him twice.

I think the parent was referring to his full name. "Guido" appears 7 times on that page, "Rossum" appears 0 times in text.

Yes, I was referring to the "van Rossum" part of his name. Sorry for not being clear.