Update doc for recent changes in Restart behaviour.