Nice to see USNO is still providing web time, though they've moved to https://time.gov https://time.gov . (but along with the move they now also display the off

Nice to see USNO is still providing web time, though they've moved to https://time.gov https://time.gov . (but along with the move they now also display the offset between browser time and their time ... wonder how they calc that? via avg of rtts?)