I've archived the repo, which is the procedure in the team when something goes away (at least, that's what I've been doing so far, and unless Ondrej or others prefers something else?).