Is it really that expensive to run a TLD? Name servers are notoriously long running on ancient spec servers.

I’m guessing, if designed well, the registration process could run on lightweight infrastructure. Maybe $1-5k total per year, not counting time. So it’s enough for a fun hobby project.