The .fun TLD has been a bit broken for a month now. 👍 https://dnsviz.net/d/fun/ZzsFkg/dnssec/ They use a secondary DNS service -- but don't list it in the root zone, so it doesn't really make the TLD more reliable -- and it stopped updating the zone around 2024-10-18 for some reason. And the three companies involved have yet to fix it for some reason. So under certain circumstances a small percentage of DNS queries for .fun domains just randomly fail. 🤷