Where do I find the "Internet Time" (NTP) settings in Windows 10?

In Windows 7, you could get to the "Internet Time" settings by following the instructions in this Super User answer.

Now, I can get to this interface, but there is no option to set a custom NTP server or even see the current NTP server:

I want to get to this dialog box:

Where are "Internet Time Settings" in Windows 10?

"Internet Time Settings" dialog box

1. Go to Control Panel.
2. Search for "Date and Time".
3. Click on "Set the time and date".
4. Click on the "Internet Time" tab.
5. Click on "Change settings…".

Registry key

You can still modify the default server registry key at HKEY_LOCAL_MACHINE\SOFTWARE\Microsoft\Windows\CurrentVersion\DateTime\Servers to set a custom NTP server.

For domain users, the domain controller (DC) will also be missing the Internet time, as well as all domain workstations. Once the Domain Controller is set to a manual peer, the workstations can run, from an elevated command prompt:

net time \\domaincontroller.domain.tld /set /y

to synchronise with the DC.

Example:

net time \\dc.domain.local /set /y

For virtual servers, the DC/member servers, clients will have issues even with these settings set on the DC. The core server controls it, and it does have the Internet Time tab, so you can set the manual peer there and then everything will work as it should, because virtual servers use the physical resources from the core server.