2024年2月4日（日）

キートップ引き抜き用の工具を買ったので、HHKBの掃除。買ってから3年ほど経つが、キートップを外して掃除するのは初めてだ。案の定中身はけっこう大変なことになっていた。定期的に隙間から取れる範囲ではやっていたので、ネットの記事で見るほどではないかもしれないが。

きれいになってスッキリ。水洗いは面倒でしなかったので、もっと極める余地はある。