Re: Texinfo 5.x and the packages