Adam D. Ruppe: > I understand the position, but I don't advocate it just because I think it would > be annoying and not give much of a benefit. I have never added a bug report in Bugzilla about this because I think it doesn't give enough benefit. Thank you for your answer, bye, bearophile