#11686
redakt55
参加者

otsd 様,アドバイスありがとうございます。
エンコードの定義をいじるのは「あとで試してみよう」と思ってそのままになっていました。
いまごっそり削除してみたら,確かに「あの長ったらしいリスト」がぐっと短くなり,十分快適になりました。
ありがとうございました。

この結果をもとに,v14 への要望事項をまとめてみたいと思います。