program that converts a Texinfo file into an Info file, HTML file, or plain text (alias for texi2any)