Johannes Schindelin [off-list ref] writes:
quoted
This is of course a good change, but we need to assume that no
further output is made from the remainder of the function for the
change in the next hunk to remove the existing flush to be correct.
...
But you made me realize that I cannot simply *move* the flush_output()
call here, in case that code in between will eventually add output.
Yup, that removal of the original one was the only thing I was
pointing out.