Re: [asdf-devel] Minor comments regarding manual on HEAD