[tor-dev] Proposal 248: Remove all RSA identity keys