[shawnz]

There's also "F6", which is just a single key. Maybe that will be easier to get used to.

[malnourish]

There's also ^L, a chord which I find much easier to type than reaching up three rows to an F key (especially with my caps lock mapped to control).

Regardless, he shouldn't have to change his shortcut because a website (a search engine, no less) hijacks his keys. That's bad UX.