>>>>> Tassilo Horn <t...@gnu.org> writes: >> Does anyone find difficulties with this idea? E.g., should I introduce >> some new user option to suppress this behavior?
> I'd say, let's first try without option and maybe add one later if and > only if someone complains. Thanks, I installed the change with some comments added. Bye, Ikumi Keita