I didn't even know .gov changed operators until this news, but looks like there was an earlier news that said it would happen:<p><a href="https://news.ycombinator.com/item?id=34403055">https://news.ycombinator.com/item?id=34403055</a> - Verisign Loses Prestige .Gov Contract to Cloudflare (2023-01-16)