Re: Past discussion on ASDF loading