diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md
index 091ef30..61ec62f 100644
--- a/RELEASE_NOTES.md
+++ b/RELEASE_NOTES.md
@@ -1,30 +1,27 @@
-# css4j-dom4j version 3.9.1 Release Notes
+# css4j-dom4j version 4.0 Release Notes
 
-### January 23, 2023
+### August 19, 2023
 
 <br/>
 
 ## Release Highlights
 
-### Use `org.dom4j` as DOM4J's module name
+### Override several deprecated methods
 
-DOM4J version 2.1.4 was released which uses the `org.dom4j` module name, and this
-project was upgraded accordingly.
+Several deprecated DOM methods were triggering exceptions, now they just do nothing
+or return `null`.
 
 ## Detail of changes
 
-- Invalidate computed style after the removal of a default-style `http-equiv` attribute.
-- Speed up the computation of base URI, make it more reliable.
-- Tests: add a few styling error checks.
-- Tests: remove an unnecessary cast.
-- Gradle: use a different line conversion procedure to avoid Git glitches
-- Bump year to 2023 in copyright notices.
-- Upgrade to slf4j-api 2.0.6
-- Upgrade to css4j 3.9.1
-- Upgrade to css4j-agent 3.7.1
-- Upgrade to dom4j 2.1.4
-- Upgrade Gradle wrapper to 7.6
-- Upgrade to extra-java-module-info 1.2
+- Override several deprecated methods.
+- Tests: convert the tests to JUnit 5.
+- Upgrade to css4j 4.1.
+- Upgrade to JUnit 5.10.0.
+- Upgrade to slf4j 2.0.7.
+- Upgrade to extra-java-module-info 1.4.1.
+- Upgrade Gradle wrapper to 8.3.
+- changes.sh: add a dot at the end of each item.
+- Add a RELEASE_HOWTO.
 
 ## Project Sites
 
diff --git a/build.gradle b/build.gradle
index 3168424..d4d39c1 100644
--- a/build.gradle
+++ b/build.gradle
@@ -5,7 +5,7 @@ plugins {
 }
 
 group = 'io.sf.carte'
-version = '4.0-SNAPSHOT'
+version = '4.0'
 
 description = 'css4j-dom4j'