Oct. 1, 2019, 12:29 p.m.(UTC)
Convert text with ANSI color codes to HTML or to LaTeX.