Christopher, in case you don't follow the gitlab issue, here's a copy of what I
wrote there:

I don't know if this is still an issue. I don't have any crash replaying the
trace anymore, and the save state I uploaded and saved on my system, was
actually not the right one so useless...

In that case I think it should be fine closing this, unless the others still
have this issue reproducible of course.