Re: [asdf-devel] maybe hot-upgrade of ASDF is not needed anymore