[clo-devel] Migration status: can we take down old common-lisp.net (aka elephant.common-lisp.net)?