Re: [tor-dev] Issue regarding IRC channel