I have changed with another plugin in a txt file. Then enter "rp" in the console. This was followed by the crash. The log I have sent to the @red, who told me that it s.gps plugin probably lies.
Ah! So, if I understand correctly, the crash occurred in a "reloadplugins" context; this is an important piece of info. I'll try this out.