(In reply to Thomas Zimmermann from comment #4) > Can we close this bug report? I see no reason not to.