https://gitweb.torproject.org/torspec.git/blob/HEAD:/proposals/171-separate-streams.txt says: IsolateSOCKSUser https://www.torproject.org/docs/tor-manual-dev.html.en says: IsolateSOCKSAuth Which one is correct?