RE: Anyone really familiar with texinfo?