Meta/GRADUATED: rewrite for simplicity and robustness
Meta/Reintegrate: try keeping the cut points with comments

Using empty commits on the throw-away trial integration branches,
keep track of the "doneness" comments in the history, so that
later run of "redo-*.sh -[ud]" can resurrect them.
What's cooking (2013/01 #04)
Meta/Reintegrate: omit cut mark if no topics were merged from the group
Meta/GRADUATED: fix typo that broke duplicate removal
Meta/GRADUATED: do not show topics already merged to maint
What's cooking (2013/01 #05)