Separate TypesetDone into two routines so that the processing of the results (in particular the PNG production) isn't part of the restart timer, since that can take a while.