Recovery should also probably include nuking all current sessions, as any session key created prior to updating is potentially compromised and would remain so a

Recovery should also probably include nuking all current sessions, as any session key created prior to updating is potentially compromised and would remain so after the update.