Code to convert strings with ANSI/XTerm escape codes into HTML