No matches were found for subject:"I deleted 80 % of my keyring, but my keybox file isn't shrinking"