Re: texinfo mode frustrations