We had a quick look -- we think it was taken down as part of an automatic github+travis redeploy which took longer than expected. The deploy scripts could use s

We had a quick look -- we think it was taken down as part of an automatic github+travis redeploy which took longer than expected. The deploy scripts could use some more work.