doc: Added changelog to users guide.

Author: ejgallego

doc/UsersGuide/Basic.lean

@@ -10,6 +10,7 @@ import UsersGuide.Manuals
 import UsersGuide.Elab
 import UsersGuide.Extensions
 import UsersGuide.Output
+import UsersGuide.Releases
 
 open Verso.Genre Manual
 
@@ -117,6 +118,7 @@ number := false
 
 {theIndex}
 
+{include 0 UsersGuide.Releases}
 
 # Dependencies
 %%%

doc/UsersGuide/Releases.lean

@@ -0,0 +1,25 @@
+/-
+Copyright (c) 2026 Lean FRO LLC. All rights reserved.
+Released under Apache 2.0 license as described in the file LICENSE.
+Author: Emilio J. Gallego Arias
+-/
+
+import VersoManual
+
+import UsersGuide.Releases.«v4_27_0»
+
+open Verso Genre Manual
+
+#doc (Manual) "Release Notes" =>
+%%%
+tag := "release-notes"
+file := "releases"
+number := false
+htmlSplit := .never
+%%%
+
+This section provides release notes about recent versions of Verso. When updating to a new version, please
+read the corresponding release notes. They may contain advice that will help you understand
+the differences with the previous version and upgrade your projects.
+
+{include 0 UsersGuide.Releases.«v4_27_0»}

doc/UsersGuide/Releases/v4_27_0.lean

@@ -0,0 +1,25 @@
+/-
+Copyright (c) 2026 Lean FRO LLC. All rights reserved.
+Released under Apache 2.0 license as described in the file LICENSE.
+Author: Emilio J. Gallego Arias
+-/
+
+import VersoManual
+
+-- EJGA: Should we use the markdown code block from ref-manual?
+-- import Manual.Meta.Markdown
+
+open Verso.Genre
+
+-- To allow ```` below
+set_option linter.verso.markup.codeBlock false
+
+#doc (Manual) "Verso 4.27.0 (unreleased)" =>
+%%%
+tag := "release-v4.27.0"
+file := "v4.27.0"
+%%%
+
+````
+* Added Release Notes / Changelog to Verso Users guide
+````