On Wed, 4 Apr 2018, David Malcolm wrote: > Yes, in the past I've added the bold/colorization markup by hand (ugh). > Having a script to do this for our "screenshots" is a big time-saver.
I was afraid of that. What you did here really is a great time (and frustration) saver. And, of course, Python was part of the answer to my first review. Why am I not surprised? :-) Chapeau! Gerald