Deprecation notice for roughtime.cloudflare.com:2002

[cjpatton]

The Cloudflare Roughtime server at roughtime.cloudflare.com:2002 has been deprecated and will be turned off on July 1, 2024. You may wish to update your client to use our new server to avoid a disruption of service:

{
    "name": "Cloudflare-Roughtime-2",
    "publicKeyType": "ed25519",
    "publicKey": "0GD7c3yP8xEc4Zl2zeuN2SlLvDVVocjsPSL8/Rl/7zg=",
    "addresses": [
        {
            "protocol": "udp",
            "address": "roughtime.cloudflare.com:2003"
        }
    ]
}

See https://groups.google.com/a/chromium.org/g/proto-roughtime/c/vbmjoudG184 for further details.