Re: [tor-dev] Proposal 242: Better performance and usability for the MyFamily option