On Tue, May 08, 2018 at 12:32:28PM -0500, Alex G. wrote: > On 05/08/2018 11:58 AM, Bjorn Helgaas wrote: > > (looks like maybe colorizing escape sequences?). > > You mean the ANSI escape sequences. wget and cat in a color terminal. > You will get so used to this, you will love it so much, you won't ever > again want to open a a web page. Hey, you're right! If I download it and look at it with "less", it *is* pretty! It'd be cool if Chrome would do that. Maybe. I'm really glad you're looking at this stuff and raising issues. I'm not at all confident in the correctness or robustness of this code. Bjorn
