[redakt55]

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

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