Google has more than one product, but one of their products is nevertheless called Google (the one that's at "google.com"; the referent of the verb "google"; et

Google has more than one product, but one of their products is nevertheless called Google (the one that's at "google.com"; the referent of the verb "google"; etc.). Internally/formally it may be called "Search" but I dare say most of it's users call it "Google" (they might say "I did a Google search" but not "I used Google Search").