Shunter,
Why would using the IP address be any better through a proxy than the URL? It's the client that resolves the host name to IP address before sending the get request, not the proxy.
Https is a good idea, worth trying.
Dan, are you able to get a command prompt at the library, such that you can do ping www.pprune.org
SD