Today, after a reboot and quite a few upgrades, I can't reproduce the error any longer.
I am sorry for taking up your time and messing up this unrelated bug report.
Today, after a reboot and quite a few upgrades, I can't reproduce the error any longer.
I am sorry for taking up your time and messing up this unrelated bug report.