[djs55]

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.