This bug doesn't happen anymore after some upgrade last Thursday or Friday (even though that upgrade introduced other problems). I'm closing it for now.
This bug doesn't happen anymore after some upgrade last Thursday or Friday (even though that upgrade introduced other problems). I'm closing it for now.