[COFF] Happy birthday, Google...

Google was founded on this day in 1998, by a couple of uni students who went on to become millionaires; the verb "to google" has in fact entered the lexicon, but these days I use DuckDuckGo (remember: you are not Google's customer, but their product). There is some confusion over the name "Google"; some say that someone couldn't spell the mathematical number "googol" (10**100), and others claim that is was a joke on their part, which I suspect is revisionist history. I would appreciate a correction, and need I point out that a web reference may not cut the mustard? Thanks. -- Dave