diff --git a/CLAUDE.md b/CLAUDE.md
index 1a74bb4..bcc0ec1 100644
--- a/CLAUDE.md
+++ b/CLAUDE.md
@@ -131,7 +131,7 @@ Manyfold, Paperless-ngx, Gokapi, GoToSocial, StarPunk. Some read the client from
 vars; Gitea, Audiobookshelf and Kavita store it in their own database (set in
 their admin UI). OIDC clients are created in Pocket ID's UI and their ID and
 secret go in the vault as `vault_<service>.pocketid`. StarPunk (v2.0.0+) also
-runs its own IndieAuth server so Micropub apps can post; Gondulf was retired.
+runs its own IndieAuth server so Micropub apps can post.
 
 ### Shared Docker Network (`lava`)
 Created by the docker role as `{{ docker.subnet }}` with `ip_range: {{ docker.ip_range }}`. Docker only hands out dynamic addresses from that range, so `172.20.0.x` is reserved for fixed IPs: Caddy (`docker.hairpin_ip`, .5) and Gitea (`docker.gitea_ip`, .6). Both need fixed IPs because ufw-docker firewall rules point at container IPs. A network without the range (the 2024 original) is migrated once with `migrate-lava-network.yml`.
diff --git a/dns.yml b/dns.yml
index 5867bbe..ddc2d70 100644
--- a/dns.yml
+++ b/dns.yml
@@ -86,8 +86,6 @@
             ip: "{{ network.netcup_ip }}"
           - name: "auth"  # Authentik, replaced by Pocket ID
             ip: "{{ network.netcup_ip }}"
-          - name: "gondulf"  # IndieAuth, replaced by StarPunk v2 + Pocket ID
-            ip: "{{ network.netcup_ip }}"
           - name: "files"
             ip: "{{ network.netcup_ip }}"
           - name: "kanboard"