Re: [asdf-devel] Quick asdf.texinfo patch