Windows 10: Добавить в список новый адрес NTP-сервера

В области уведомлений, над часами нажимаю ПКМ и выбираю Adjust date/time, перехожу на Additional date, time, & regional settings, перехожу на Date and Time -> Set the time and date. На вкладке «Internet Time» написано:

The computer is set to automatically syncronize with ‘time.windows.com’.
Next synchronization: 04.06.2017 at 12:32
An error occurred while Windows was synchronizing with time.windows.com. The peer is unreachable.

Если нажать на кнопочку «Change settings», то в раскрывающемся списке будет только два сервера на выбор:
time.windows.com и time.nist.gov. Если попытаться добавить новый сервер в список, согласно этой инструкции, то получим ошибку:

net time /setsntp:ntp.mobatime.ru
The syntax of this command is:
...
The /QUERYSNTP and /SETSNTP options have been deprecated. Please use w32tm.exe
to configure the Windows Time Service.

Воспользуемся советом:

w32tm /config /syncfromflags:manual /manualpeerlist:ntp.mobatime.ru
The command completed successfully.

После этого обновляем настройки:

w32tm /config /update

Сбрасываем службу:

net stop w32time && net start w32time

При этом список NTP-серверов все равно не обновился, хоть теперь указано, что время синхронизировано с новым сервером:

The clock was successfully synchronized with ntp.mobatime.ru on 03.06.2017 at 12:32

Список этих серверов хранится в реестре:
HKEY_LOCAL_MACHINE\SOFTWARE\Microsoft\Windows\CurrentVersion\DateTime\Servers
Туда же можно добавить и новый строковый параметр:

[HKEY_LOCAL_MACHINE\SOFTWARE\Microsoft\Windows\CurrentVersion\DateTime\Servers]
@="3"
"1"="time.windows.com"
"2"="time.nist.gov"
"3"="ntp.mobatime.ru"