Re: [tor-dev] RPM: "hardcoded" config options in /usr/bin/torctl