Fix spacing in (incomplete) tor-proxy documentation