diff --git a/README.md b/README.md
index eb33c6da9381e3741020a9556087affda5e91ef2..47547832b3cfaed07d528811a6ccd1af28fff198 100644
--- a/README.md
+++ b/README.md
@@ -9,8 +9,9 @@ artificial intelligence based software.
 
 The latest release of CAISAR is available as an [opam](https://opam.ocaml.org/)
 package or a [Docker](https://www.docker.com/) image on GNU/Linux.
-CAISAR is available on Windows either under the Windows
-Subsystem Linux (WSL) or the aforementioned docker image.
+CAISAR is available on Windows either under the [Windows
+Subsystem Linux](https://learn.microsoft.com/en-us/windows/wsl/install)
+(WSL) or the aforementioned docker image.
 
 The development version of CAISAR is available only by compiling the source code.
 CAISAR needs access to a ``python3`` interpreter, which is
@@ -71,7 +72,7 @@ make test
 
 ## Documentation
 
-The CAISAR user manual is available on the [platform website](https://laiser.frama-c.com/laiser-websites/caisar-website/documentation/).
+The CAISAR user manual is available on the [platform website](https://caisar-platform.com/documentation/).
 
 It is possible to generate it locally. This operation requires the documentation generator
 [Sphinx](https://www.sphinx-doc.org/en/master/index.html), which is typically
diff --git a/doc/installation.rst b/doc/installation.rst
index 6efe58ccce674fbd30c164c8dd0f4b9eec1f85a8..b5df738d5b3deb10e76fe34afed02056dd462c5d 100644
--- a/doc/installation.rst
+++ b/doc/installation.rst
@@ -6,8 +6,8 @@ Installation
 The latest release of CAISAR is available as an
 `opam <https://opam.ocaml.org/>`_ package or
 a `Docker <https://www.docker.com/>`_ image on GNU/Linux.
-CAISAR is available on Windows either under the Windows
-Subsystem Linux (WSL) or the aforementioned docker image.
+CAISAR is available on Windows either under the `Windows
+Subsystem Linux <https://learn.microsoft.com/en-us/windows/wsl/install>`_ (WSL) or the aforementioned docker image.
 
 The development version of CAISAR is available only by compiling the source code.
 CAISAR needs access to a ``python3`` interpreter, which is