<div dir="ltr"><div>> if a given IP address is actually a Tor exit server<br><br></div>Should probably be "node" rather than router, that seems to fit better.<br></div>