@torproject What about regular tor users? Aren't we running the same tor process?