network.proxy.socks_port not required, since extensions.torbutton.banned_ports keeps care of that [(diff)][1] [1]: https://trac.torproject.org/projects/tor/wiki/doc/TorBOX/Dev/TWScript?action=diff&version=91 URL: https://trac.torproject.org/projects/tor/wiki/doc/TorBOX/Dev/TWScript?version=91