Re: [tor-relays] Assigning BadExit to Exits failing to resolve hostnames starting on 2018-01-15