Where make will append to previous files, and make_fresh
will clear out previous files. Semantics for --redo
are made correct, and seen is superceded for mass-upgrade.
One very visible change is mass-upgrade will output
percentages that might actually sum to 100%!