That didn’t solve the problem. I’ve given up and closed that issue, since it no longer reproduces.