diff --git a/CHANGES.md b/CHANGES.md
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,7 +1,20 @@
 * Hackage: <http://hackage.haskell.org/package/crackNum>
 * GitHub:  <http://github.com/LeventErkok/crackNum/>
 
-* Latest Hackage released version: 4.1, 2026-08-25
+* Latest Hackage released version: 4.2, 2026-08-25
+
+### Version 4.2, 2026-08-25
+
+  * Documentation only; no functional changes.
+
+  * Simplified the README's download section further. It is now just the three
+    platforms, each linking to the latest release. The per-platform notes (static
+    linking, the macOS quarantine flag, the Windows SmartScreen prompt) and the
+    unpack/PATH instructions are gone from here -- every bundle ships a `README.txt`
+    that covers them for that platform, and it is the first thing you see when you
+    unpack.
+
+  * Trimmed the note about needing z3 when installing from Hackage.
 
 ### Version 4.1, 2026-08-25
 
diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -11,26 +11,11 @@
 
 ### Download crackNum
 
-**→ [Ready-to-run bundles for Linux, macOS, and Windows](https://github.com/LeventErkok/crackNum/releases)**
-
-Nothing to build, no Haskell toolchain. Each bundle carries the `crackNum`
-executable, a copy of `z3`, the GUI, a LICENSE, and a `README.txt` with the
-install steps for that platform.
-
-  - **Linux (x86_64)** — [`crackNum-<version>-linux-x86_64.tar.gz`](https://github.com/LeventErkok/crackNum/releases/latest).
-    Statically linked, so it runs as-is on any x86_64 Linux, old or new.
-  - **macOS (Apple Silicon)** — [`crackNum-<version>-macos-arm64.tar.gz`](https://github.com/LeventErkok/crackNum/releases/latest).
-    Includes `CrackNum.app`. Ad-hoc signed, so clear the quarantine flag first.
-  - **Windows (x86_64)** — [`crackNum-<version>-windows-x86_64.zip`](https://github.com/LeventErkok/crackNum/releases/latest).
-    Includes `CrackNumGUI.exe`. Unsigned, so SmartScreen warns on first run.
-
-Unpack it, put the files on your `PATH` — `z3` included, since crackNum shells
-out to it for every operation — and check with:
+Ready-to-run bundles — nothing to build, no Haskell toolchain:
 
-```
-$ crackNum -fsp 3.5
-$ crackNum --gui
-```
+  - [**Linux** (x86_64)](https://github.com/LeventErkok/crackNum/releases/latest)
+  - [**macOS** (Apple Silicon)](https://github.com/LeventErkok/crackNum/releases/latest)
+  - [**Windows** (x86_64)](https://github.com/LeventErkok/crackNum/releases/latest)
 
 ### Building from source
 
@@ -40,9 +25,7 @@
 $ cabal install crackNum
 ```
 
-This way you also need [z3](https://github.com/Z3Prover/z3) on your `PATH`:
-crackNum delegates the floating-point reasoning to it, via
-[SBV](http://hackage.haskell.org/package/sbv).
+Note that you also need [z3](https://github.com/Z3Prover/z3) on your `PATH`.
 
 ### Supported formats
 
diff --git a/crackNum.cabal b/crackNum.cabal
--- a/crackNum.cabal
+++ b/crackNum.cabal
@@ -1,6 +1,6 @@
 Cabal-version      : 2.2
 Name               : crackNum
-Version            : 4.1
+Version            : 4.2
 Synopsis           : Crack various integer and floating-point data formats
 Description        : Crack IEEE-754 and other float formats and arbitrary sized words and integers, showing the layout.
                      Along with a command-line interface on any platform, native MacOS and Windows GUIs and a Tcl-based Linux GUI are available as well: