signal3 writes: > I may literally die from laughter when someone changes it back! See: > > https://debbugs.gnu.org/cgi/bugreport.cgi?bug=49186 > https://debbugs.gnu.org/cgi/bugreport.cgi?bug=44087 Oh no - not literally! Anyway - thanks for this important hint. Is installing this ok for everyone (Lars?)? I don't think anyone will miss the never intended behavior.