diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index ed6c8a4..e404cfb 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -62,5 +62,8 @@ jobs:
           GH_TOKEN: ${{ github.token }}
         run: |
           git tag -l --format='%(contents)' "$TAG" | sed '/-----BEGIN SSH SIGNATURE-----/,$d' > notes.md
+          # A tag moved to a fixed commit and pushed again replaces its release:
+          # the old one, and the files built from the old commit, go first.
+          gh release delete "$TAG" --repo "$GITHUB_REPOSITORY" --yes 2>/dev/null || true
           gh release create "$TAG" --repo "$GITHUB_REPOSITORY" --verify-tag \
             --title "LLeMbas Desktop $VERSION" --notes-file notes.md dist/*
diff --git a/CHANGELOG.md b/CHANGELOG.md
index 42658d9..278787a 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -6,16 +6,7 @@ All notable changes to LLeMbas Desktop. The format follows
 
 ## [Unreleased]
 
-## [0.7.2] — 2026-10-24
-
-### Fixed
-
-- **0.7.1 did not start on Linux.** It read a WebKitGTK property that can only be written, and the
-  app stopped before its window appeared ("property 'settings' of type 'WebKitWebView' is not
-  readable"). That line is gone; the microphone permission it was meant to back up stays, and
-  current WebKitGTK has media capture on by default.
-
-## [0.7.1] — 2026-10-23
+## [0.7.1] — 2026-10-24
 
 The microphone works, and LLeMbas CLI 1.5.1 inside.
 
@@ -25,8 +16,7 @@ The microphone works, and LLeMbas CLI 1.5.1 inside.
   for the microphone, and a webview grants it only if the app answers: WebKitGTK refuses whatever
   it is not answered on, and shows no prompt of its own. Desktop now allows the microphone -- the
   microphone only, and only for the server's page in the content view; a camera or a screen still
-  gets the platform's refusal. Media capture is also switched on explicitly, for the older
-  WebKitGTK the AppImage carries.
+  gets the platform's refusal.
 
 ### Changed
 
diff --git a/src-tauri/Cargo.lock b/src-tauri/Cargo.lock
index 0df3e1d..570c8d6 100644
--- a/src-tauri/Cargo.lock
+++ b/src-tauri/Cargo.lock
@@ -2064,7 +2064,7 @@ checksum = "47d9d19d1d6efa0109d2f65ff4c85cddd50bd572e5a00127ab10987290bcefae"
 
 [[package]]
 name = "llembas-desktop"
-version = "0.7.2"
+version = "0.7.1"
 dependencies = [
  "gtk",
  "libc",
diff --git a/src-tauri/Cargo.toml b/src-tauri/Cargo.toml
index 6bff0c1..d64cdc8 100644
--- a/src-tauri/Cargo.toml
+++ b/src-tauri/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "llembas-desktop"
-version = "0.7.2"
+version = "0.7.1"
 description = "LLeMbas Desktop: your LLeMbas server in a window, with the agent on this computer"
 authors = ["Jaroslav Beneš"]
 license = "MIT"