Re: [SLE] Where are the Texinfo files?