Use .texi suffix, preferred to .texinfo.