Add further explanation to abort_and_restart example