Re: [asdf-devel] revising asdf manual