mi の環境いじり

　見出しジャンプをいじったら (いくつか追加したら) かなり便利になった．ジャンプ先を正規表現で指定できて，しかもジャンプ後の選択域まで指定できるって，やっぱ mi (とそのツール群) はやめられませんな．