IncrementablePrompt.cs is added, to get multiple servers to sync in background.