Add notes about redo'ing on OS X systems.