redo-stamp.py