Convert TEXT HADDOCK to TEXINFO

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 Texinfo is a documentation format developed by the GNU Project, created by Richard Stallman and Bob Chassell. It uses plain text files with @-commands to generate both online and printed documentation from a single source. Texinfo files, with the TEXI extension, support various output formats like HTML, PDF, and Info. This system simplifies maintaining consistent documentation across multiple formats.