w3mでページの内容に応じてキーバイントを変えるpatch

w3mで、ページの内容に応じてキーバイントを変えるpatchを作った。
このpatchを使うと、
「gmailで、'k'で一つ新しいメール、'j'で一つ古いメールを見る」
なんて機能を実装する事ができる。

こちら