Too bad that this never seems to have gone anywhere: https://datatracker.ietf.org/doc/html/draft-bcd-6man-ntp-server-ra-opt-00 https://datatracker.ietf.org/doc/

Too bad that this never seems to have gone anywhere: https://datatracker.ietf.org/doc/html/draft-bcd-6man-ntp-server-ra-opt-00 https://datatracker.ietf.org/doc/html/draft-bcd-6man-ntp-ser... Also, does Android even use NTP servers that are advertised over IPv4 DHCP? I don't think so, and if not, then is this really a reason?