(replace_range): For undo, record insertion first.