diff --git a/SPECS.md b/SPECS.md
index d15cf56..1de82cc 100644
--- a/SPECS.md
+++ b/SPECS.md
@@ -244,9 +244,8 @@ Hardware
 
 On the user's own router (settings and infrastructure, not code)
 - Port forwards for antigua's public names exist for 80 and 443 (hairpin on); the list of other public ports of antigua (k3s, Gitea, Syncthing, WoW, Traefik) is still unknown.
-- Delete the old AAAA records in Cloudflare (DDNS no longer publishes IPv6).
 - The WireGuard tunnel `family` has `allowManagement = true` and open firewall rules to the LAN; narrow them when the intended rules are known.
-- `truenas.home.stinnesbeck.com` in `dns.hosts` is a leftover; no time zone is set (UTC); the wifi card is unused.
+- No time zone is set (UTC); the wifi card is unused. (`truenas.home.stinnesbeck.com` in `dns.hosts` stays: old things in the cluster still refer to it.)
 
 ## Phases