隣の市の図書館で検索機の大半が撤去、残ったものもキーボードがなくマウスorタッチパネル入力となっていて、理由を訊ねたら「キーボードで設定を変える利用者がいて」ということで、ため息がたくさん出た。
設定なんて端末の再起動で初期化されるようにしておくのが普通だと思うんだけど、素人考えなんだろうか。