Hi, it appears that git.aox.org is down (traceroute ends at ushuaia.trish.de). Is there a new repository somewhere else?
https://archiveopteryx.org/git-repository still points at git.aox.org. Goodbyte, Gerd. -- The last thing one knows in constructing a work is what to put first. -- Blaise Pascal
