_pausebuffer.append(object ... output is frequently going to be useful to the user's decision. So having the output streaming to a separate log file a) makes it a PITA to switch back and forth ...