Per-line ("ANSI") timestamps could be more compact. Most of the timestamps in a single log will share the same initial 7 or 8 digits. Also, I claim (without proof) that job logs tend to be written in batches (all close in time to one another) and would therefore benefit from delta compression.
Because terminal-to-html processes the stream of output, which is monotonic in time, into a "screen" with lines written to out-of-order, at least some of the logic for handling delta timestamps belongs here.
Per-line ("ANSI") timestamps could be more compact. Most of the timestamps in a single log will share the same initial 7 or 8 digits. Also, I claim (without proof) that job logs tend to be written in batches (all close in time to one another) and would therefore benefit from delta compression.
Because terminal-to-html processes the stream of output, which is monotonic in time, into a "screen" with lines written to out-of-order, at least some of the logic for handling delta timestamps belongs here.