Re: [tor-dev] Renaming arm