Prompt the user to restart if the extension requires it.