> This sounds similar to the also unexplained #256405. By the way, 256405 does not happen anymore.... Should we close it even if it not explained?