I find it hard to believe as well, but he made some concrete mentions of other tickets that were apparently complicated by the ability to manually set encodings

I find it hard to believe as well, but he made some concrete mentions of other tickets that were apparently complicated by the ability to manually set encodings: > Additional non-user-facing benefit: The back end code for supporting the non-Automatic menu items got in the way of implementing bug 673087. Based on that experience, chances are that fixing bug 1701828 would be much easier if we first implemented the change proposed here.