Am Mi., 8. Juli 2020 um 21:36 Uhr schrieb Verachten Bruno <gounthar at gmail.com>: > Could this behaviour be considered as a bug? If so, I can file it. What would you like to report where? Carl Eugen