Re: man vs info vs texinfo files