w3m

option menu を開いた状態で / すると、ちゃんと option の内容も含めて検索できるのがわかった。山のように長いオプションメニューから選択するような場合、こんなに便利なものはない。さいこう。