[Arnt]

I had no idea Firefox users are much less likely than others to use Google as search engine. Interesting. How much is much — do you have numbers for it?

EDIT: I'd also like to know whether this is a robust difference, in the sense that someone who has both Firefox and Chrome is more likely to search using Google when running Chrome than when running Firefox. Do you know?