Assorted scripts to make life easier for people with Tor users/servers on their network