Let me know if you see any issues accessing pantsbuild.org (including fetching binaries from binaries.pantsbuild.org etc.)