Wow, the whole thing (website, github repo) is down.