Update erlehmann's redo scripts.