doc: Rename .texinfo files to use .texi extension.