jimbeetle - 3:33 pm on Jan 7, 2013 (gmt 0)
No, but the example given was created after Google was created.
But it's still a bad example. Why on earth would somebody with an established naming convention change it midstream and have to contend with different conventions on the same site? It makes absolutely no sense.