@Tutanota it should also format the user drive afterall, because the insecure copy might reside in some cache or something.