Re: minibuf.texi question