Is your core and remotes up to date? Several such crashes occurred recently but were supposed to be fixed in the update 2 weeks ago. Possibly something was missed, or you are missing the update:
These were some of the older instances that were supposed to be fixed:
In the older instances, it didn’t happen for everyone immediately, either. Sometimes it was a question of having a specific timing of key presses. So it might be a local issue for @Paul_Farrar that is different from the old cases or you might not have typed in the exact same way
