Maybe <pantsbuild.org> is not supposed to redirect...