20:30:15 正直、テキスト打ちだけとってみれば、GeminiPDAの方がずっと快適です。自由度やsshの使い勝手などできることはDevTermの方が多いです。 16:22:08 DevTermのキーボードファームウェアを0.2にしたらずいぶん快適になりました。これはいいね。 15:42:…