Re: Required texinfo version?