commands and manual pages for redo
