Utilities to work with and produce manuals, ASCII text, and on-line documentation from a single source file (repack of MSYS2-packages texinfo-tex for MSYS)