I just copied it out of the ToDo list. I think if $HGMERGE returns false, the
merge falls over and there's no good way to restart it.