Re: GitLab.common-lisp.net unavailability: post-mortem