I'm not able to reproduce the crash. However, we fixed something
just recently that might be relevant and I've now made some
additional "safety first" changes. Coould you try the current
snapshot and see if the problem is still there? Thanks.

Allin