They should have used https://grepular.com/Automatically_Encrypting_all_Incoming_E...
In case they lose their smartcard or you need to recover their email for any other reason, keep a second copy of their key, password protected, offline, in a safe. Or alternatively encrypt all incoming email with a second master key, whos private key is offline, password protected, in a safe.