I hereby place the source code for "redo" into the public domain.