<html dir="ltr"><head></head><body style="text-align:left; direction:ltr;"><div>Hi,</div><div><br></div><div>for quite some time I can't reproduce the bug anymore. Hence, I'll close this bug.</div><div><br></div><div>Cheers,</div><div>Bruno</div></body></html>