今まで Happy Hacking Keyboard(以下、HHKB) Lite2 というコンパクトキーボードを使い続けてきたのだけど、うっかり壊してしまったので、上位機種にあたるHHKB Professional JPに買い換えた。 長年使ってきたLite2への哀悼の意を表して記録をつけておく。