Re: [tor-dev] non-ASCII handling in tor and onionoo