In particular, it would be handy to optionally prepend a timestamp to each line of output.
In particular, it would be handy to optionally prepend a timestamp to each line of output.