'Tor-servers uit de lucht halen is een heel slecht idee'