Convert TEXT HADDOCK to TEXI

The TEXT file extension, associated with Haddock Markup Language, is used for documentation in Haskell programming. Haddock is a tool for generating documentation from annotated Haskell source code. It uses a lightweight markup language, similar to LaTeX, to format the documentation. The history of Haddock dates back to its creation by Simon Marlow and others as part of the GHC (Glasgow Haskell Compiler) project. It has since become a standard tool in the Haskell community for creating comprehensive and readable documentation.

The TEXI file extension, short for Texinfo, is a documentation format used primarily by the GNU Project for creating software manuals. Developed by Richard Stallman and Bob Chassell, it organizes content into a book-like structure and allows a single source file to generate both online and printed documentation. TEXI files are widely used in open-source projects and are recognized by their TEXI extension.