<pantsbuild.org> was just a redirect to <www.pants...