Run aborts with STOP 3500?

Dear Roman,

Thanks again for your crash reports!

All three bugs have been corrected and the respective fixes will be made available with the next minor release of the code, to take place early 2021.

With kind regards,

Cesc