Opera の user.js で google をカスタマイズする

Opera

user.js が使えるとわかってから、いくつか使っています。

以前からクエリー入力するテキストボックスへのショートカットが欲しいなぁと思っていたので作ってみました。/ をおすととびます。特に Auto Pager 使っているときに便利です。Firefox でも動くかな？