エンジニアらしく (?)、CapsLock と Ctrl を入れ替えた。Ctrl-[ が押しやすい。これは良い。 比較的有名な、キーバインドを変更するツール群の中で、AltIME が最も導入が楽だった。