severity 935304 important thanks Michael: Next time you lower the importance of this bug, please give a motivation. It is not especially instructive doing such a thing without explaining why.