OK, so this is that “temporary” hack where we publish the docsite to

<http://benjyw.github.io|benjyw.github.io>

, so we can redirect

<http://www.pantsbuild.org|www.pantsbuild.org>

there via CNAME