Wikipedia’s Switch to HTTPS Has Successfully Fought Government Censorship