The restart will bring back all the missing ships, and will I hope cure the problem. Again.

Mareth will not restart as it has already been patched.