Update revolver.options.onrestart.md