Whereas the crash is reliably reproducable in the copy of my project that I made a few days ago, it seems to have disappeared in my working project. I don’t know what this is all about, but for the time being the problem has gone away.
You can close this case for now. If it reappears, I will report back