diff --git a/doc/release/deploy.tex b/doc/release/deploy.tex
index 7a77fd1464ed1d55ffc12781321dbbddd07252c4..0b65e17fbe9206d959febc6c3f68d4b70ee0b74d 100644
--- a/doc/release/deploy.tex
+++ b/doc/release/deploy.tex
@@ -47,7 +47,7 @@ Once the pipeline for the website has run, open \texttt{https://pub.frama-c.com}
   \item \texttt{index.html} must display:
   \begin{itemize}
     \item the new event,
-    \item a link to the (beta) release at the bottom.
+    \item if it is beta a link to the beta next to "All versions".
   \end{itemize}
   \item \texttt{/fc-versions/<codename>.html}:
   \begin{itemize}
diff --git a/doc/release/validation.tex b/doc/release/validation.tex
index 758a75b3fc38f5e091d62b3a00251daadfbba299..98329d65dd16fae1c7885ef27071b4f605cc848a 100644
--- a/doc/release/validation.tex
+++ b/doc/release/validation.tex
@@ -120,35 +120,31 @@ They shall succeed. Collect the artifacts of the following targets:
 \begin{itemize}
   \item api-doc
   \item build-distrib-tarball
+  \item build-ivette-linux-packages
+  \item build-ivette-macos-packages
   \item manuals
 \end{itemize}
 
 \noindent Check that these artifacts are as expected. In particular:
 \begin{itemize}
-  \item API documentatation:
+  \item API documentation:
     \begin{itemize}
       \item check that you can browse the API documentation
       \item if there are minor bugs/typos, note them for later, but it's not
         worth delaying the release to fix them.
     \end{itemize}
-  \item Check versions in manuals
   \item Tarball
     \begin{itemize}
-      \item Check that no non-free components are distributed (note: unless
-      someone inadvertently added non-free code, \FramaC does not contain any,
-      this check is obsolete).
-      \item Check that no \texttt{/home/user} path can be found in the distribution,
-      \item Build and test
-        \begin{itemize}
-          \item on Linux (the CI has already done it, but the GUI is not tested)
-          \item on MacOS \expertise{André, Loïc}
-          \item on Windows (WSL) \expertise{Allan, André}
-        \end{itemize}
       \item consider decompressing both the current and the previous release
          archives in different directories, then using \texttt{meld} to compare
          them. This allows spotting if some files were unexpectedly added, for
          instance.
     \end{itemize}
+  \item Ivette packages
+    \begin{itemize}
+      \item check that the packages can be run on each system
+    \end{itemize}
+  \item Check versions in the manuals
 \end{itemize}
 
 \noindent Alternatively, you can use \texttt{docker} to compile the archive against a