> This bug report does not seem to be relevant anymore and can probably be > closed. I made a few experiments and it seems like the bug has been solved by the last upgrades. I agree with you: the bug can be closed. Best regards, riccardo.