Hmm, I don’t believe we have any guidance in the plugin’s category (encrypt) on what to do if the key is lost (cc: @JammyDodger).
I believe the thing to do here is have the user disable and re-enable:
They will lose access to all encrypted messages and need to be re-invited IIRC.