[tor-dev] prop224: What should we do with torrc options?