The traceroute wouldn't show anything, they wouldn't be blocking all packets, just ones on port 80. Run "curl -v https://news.ycombinator.com" https://news.yco

The traceroute wouldn't show anything, they wouldn't be blocking all packets, just ones on port 80. Run "curl -v https://news.ycombinator.com" https://news.ycombinator.com" and post the output of that.