Eli Zaretskii writes: > I think it should be an opt-in behavior, conditional on a user > option. We can later see if it is popular enough to make that the > default behavior. OK. How about the attached patch? Best regards, Stefan Kangas