Andreas, Ludovic, and others: This bug report was last modified 3 years and 258 days ago.
It is my understanding that this bug could be closed. I see no more current problems and it makes no sense to keep the bug open just in case the problem appears again. Would you agree?
