Documents related to 'high availability restart'