[josephcsible]

Too bad that this never seems to have gone anywhere: 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?