そろそろ新しいキーボードを調達しないといけない気がしてきた。左下の[Ctrl]キーが押し下げにくい。キートップを外して掃除してみたのだが、それでも押し下げにくいので。左側の[Ctrl]キーはショートカットに多用するので、押し下げられないと、ショートカットキーのつもりが単なる英字入力になってしまって困る。