12:54:25 AirPods Proで、周囲の人のタイピング音(というか「打鍵音」)も緩和されるのがありがたい。本来タイピングは手指の力を抜いてそっとさらさら「押鍵」するものだと思うが、なぜか強烈な力で「打鍵」する「強打者」がいる。キー入力にそんな力は不要でしょ。キーボードが痛がっているよ。