Before re-running a builder, check whether a person has the output file open or has edited it — regeneration looks safe, but it erases whatever work a human is doing in that file.
