Re: [tor-dev] patch for trivial issue in onionoo