Added IsolateDestPort and IsolateDestAddr as Tor isolation flags