Tor bridge operators sees server numbers