infrastructure: rename services and domains

[zzstoatzz]

Context

Infrastructure URLs and service names are currently "leaflet-search". These need to be renamed as part of the rebrand.

Services to rename

Fly.io

• leaflet-search-backend.fly.dev → TBD
• leaflet-search-tap.fly.dev → TBD

Cloudflare Pages

• leaflet-search.pages.dev → TBD

Code references

• tap.zig:30: Default TAP host leaflet-search-tap.fly.dev
• server.zig:205: Dashboard redirect to leaflet-search.pages.dev
• dashboard.js:1: API base URL leaflet-search-backend.fly.dev

GitHub/Tangled repos

• zzstoatzz/leaflet-search → TBD
• zzstoatzz.io/leaflet-search → TBD

Dependencies

• Depends on new product name being decided
• Should be done after code changes to minimize downtime
• May need DNS transition period

Acceptance criteria

• New service names decided
• Fly.io apps renamed or recreated
• Cloudflare Pages project renamed
• All code references updated
• Old URLs redirect to new (if possible)