Rename the Gitea repo references to ProLibertateGames

The repo was renamed from PilgrimsOfKatan to ProLibertateGames on the
Gitea instance. Update every reference so nothing points at the old name:

- OTA updater: the repo constant and the User-Agent
- publish-release.sh: the default repo, the asset name, the release title
- CI/release workflows: the artifact names and the staged APK name
- settings.gradle.kts: the Gradle project name
- Protocol.kt / LanTransport.kt: the mDNS service label and the Wi-Fi lock tag
- docs (README, CLAUDE.md, docs/CI.md) and the update-policy test fixtures

The installed applicationId is left unchanged in this commit.

Co-Authored-By: Paperclip <[email protected]>

scripts/publish-release.sh

@@ -11,7 +11,7 @@
 # Environment:
 #   GITEA_TOKEN   required — a token that may create releases on the repo.
 #   GITEA_API     API base, default https://git.wallacenet.ca/api/v1
-#   GITEA_REPO    owner/name,  default devadmin/PilgrimsOfKatan
+#   GITEA_REPO    owner/name,  default devadmin/ProLibertateGames
 #
 # The four arguments can also arrive as RELEASE_TAG, RELEASE_APK,
 # RELEASE_KIND and RELEASE_TARGET, which is how the workflows pass them.
@@ -34,7 +34,7 @@ esac
 [ -f "$apk" ] || { echo "publish-release: no such APK: ${apk:-<unset>}" >&2; exit 2; }
 [ -n "${GITEA_TOKEN:-}" ] || { echo "publish-release: GITEA_TOKEN is not set" >&2; exit 2; }
 
-api="${GITEA_API:-${GITHUB_API_URL:-https://git.wallacenet.ca/api/v1}}/repos/${GITEA_REPO:-${GITHUB_REPOSITORY:-devadmin/PilgrimsOfKatan}}"
+api="${GITEA_API:-${GITHUB_API_URL:-https://git.wallacenet.ca/api/v1}}/repos/${GITEA_REPO:-${GITHUB_REPOSITORY:-devadmin/ProLibertateGames}}"
 
 tmp="$(mktemp -d)"
 trap 'rm -rf "$tmp"' EXIT INT TERM
@@ -43,7 +43,7 @@ trap 'rm -rf "$tmp"' EXIT INT TERM
 # updater picks the versioned APK out of a release's assets by finding the one
 # whose name contains the tag, so an asset called app-debug.apk would only be
 # found by the fallback rule.
-apk_name="PilgrimsOfKatan-${tag}.apk"
+apk_name="ProLibertateGames-${tag}.apk"
 
 # The tag and the file name are both derived from gradle.properties and a run
 # number, so neither can carry a quote or a backslash into this JSON.
@@ -56,7 +56,7 @@ else
 fi
 
 cat > "$tmp/release.json" <<JSON
-{"tag_name":"${tag}","target_commitish":"${target}","name":"Pilgrims of Katan ${tag}","body":"${note}","prerelease":${prerelease},"draft":false}
+{"tag_name":"${tag}","target_commitish":"${target}","name":"Pro Libertate Games ${tag}","body":"${note}","prerelease":${prerelease},"draft":false}
 JSON
 
 code="$(curl -sS -o "$tmp/create.json" -w '%{http_code}' -X POST \