diff --git a/CLAUDE.md b/CLAUDE.md
index a2b62af..17e9a8e 100644
--- a/CLAUDE.md
+++ b/CLAUDE.md
@@ -15,7 +15,7 @@ board games, playable against AI or over Wi-Fi (LAN). Upstream:
   branding is the upstream's, restored (see README → Branding): tartan launcher
   icon and splash, Wallace clan red on production and hunting green on dev,
   launcher names *Pro Libertate Games* / *Pro Libertate Games DEV*. The
-  installed identity is `ca.wallacenet.pilgrimsofkatan` (+ `.dev`).
+  installed identity is `ca.wallacenet.prolibertategames` (+ `.dev`).
 - **The existing catalogue is the regression safety net.** Keep every game
   green; new games (Katan) arrive as separate tasks, not edits to old ones.
   The 22 reference games are `available = true`; Katan is listed with
diff --git a/README.md b/README.md
index f45f7f5..e853135 100644
--- a/README.md
+++ b/README.md
@@ -190,10 +190,10 @@ smaller than a fingertip.
 Requires JDK 17 and the Android SDK (compileSdk 34).
 
 A local build is a dev build: it installs as
-`ca.wallacenet.pilgrimsofkatan.dev` under the name *Pro Libertate Games DEV* on
+`ca.wallacenet.prolibertategames.dev` under the name *Pro Libertate Games DEV* on
 the hunting-green sett, so it goes on beside a production copy rather than over
 it. Set `PLG_CHANNEL=production` to build the production package
-(`ca.wallacenet.pilgrimsofkatan`, clan red).
+(`ca.wallacenet.prolibertategames`, clan red).
 
 ## CI
 
@@ -265,7 +265,7 @@ unit-tested on the JVM like the rules engines are.
 ### Both channels on one device
 
 A dev build installs under its own `applicationId`,
-`ca.wallacenet.pilgrimsofkatan.dev`, so it is a separate app as far as Android
+`ca.wallacenet.prolibertategames.dev`, so it is a separate app as far as Android
 is concerned and can sit beside the production copy rather than replacing it. Each channel still updates itself
 normally, because an update within a channel keeps the same package.
 
@@ -273,7 +273,7 @@ Three things move together, all off `isDevBuild` in `app/build.gradle.kts`:
 
 | | Production | Dev |
 | --- | --- | --- |
-| `applicationId` | `ca.wallacenet.pilgrimsofkatan` | `ca.wallacenet.pilgrimsofkatan.dev` |
+| `applicationId` | `ca.wallacenet.prolibertategames` | `ca.wallacenet.prolibertategames.dev` |
 | Launcher name | Pro Libertate Games | Pro Libertate Games DEV |
 | Tartan sett | clan red | hunting green |
 
diff --git a/app/build.gradle.kts b/app/build.gradle.kts
index 8f55f16..487bf15 100644
--- a/app/build.gradle.kts
+++ b/app/build.gradle.kts
@@ -58,7 +58,7 @@ android {
         // A dev build installs under its own package, so a dev copy and a
         // production copy can sit side by side on one device instead of one
         // replacing the other.
-        applicationId = if (isDevBuild) "ca.wallacenet.pilgrimsofkatan.dev" else "ca.wallacenet.pilgrimsofkatan"
+        applicationId = if (isDevBuild) "ca.wallacenet.prolibertategames.dev" else "ca.wallacenet.prolibertategames"
         minSdk = 24
         targetSdk = 34
         // The -dev suffix in versionName is what the installed app reads to
diff --git a/app/src/main/java/org/prolibertate/games/update/UpdatePolicy.kt b/app/src/main/java/org/prolibertate/games/update/UpdatePolicy.kt
index a08e791..d192816 100644
--- a/app/src/main/java/org/prolibertate/games/update/UpdatePolicy.kt
+++ b/app/src/main/java/org/prolibertate/games/update/UpdatePolicy.kt
@@ -12,7 +12,7 @@ import java.net.URI
  * meaning to be had from comparing across them, so nothing does.
  *
  * They also carry different applicationIds — a dev build installs as
- * `…pilgrimsofkatan.dev` — so both can sit on one device, each updating
+ * `…prolibertategames.dev` — so both can sit on one device, each updating
  * itself down its own line and leaving the other alone.
  */
 enum class UpdateChannel(val label: String, val blurb: String) {
diff --git a/docs/CI.md b/docs/CI.md
index 7208c81..12d5d7d 100644
--- a/docs/CI.md
+++ b/docs/CI.md
@@ -80,8 +80,8 @@ release — the honest answer for a build nobody stamped.
 export JAVA_HOME=...        # a JDK 17 install
 export ANDROID_HOME=...     # SDK root (or set sdk.dir in local.properties)
 
-./gradlew assembleDebug          # dev-channel app (default: ca.wallacenet.pilgrimsofkatan.dev)
-PLG_CHANNEL=production ./gradlew assembleDebug   # production app (ca.wallacenet.pilgrimsofkatan)
+./gradlew assembleDebug          # dev-channel app (default: ca.wallacenet.prolibertategames.dev)
+PLG_CHANNEL=production ./gradlew assembleDebug   # production app (ca.wallacenet.prolibertategames)
 ./gradlew testDebugUnitTest      # JVM unit tests
 ./gradlew lintDebug              # Android lint (CI runs this too)
 ```