diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index ef1edc75d..eb45bc7fe 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -129,10 +129,12 @@ jobs:
           - coq-8.18.0-emacs-26.3
           - coq-8.18.0-emacs-27.1
           - coq-8.18.0-emacs-28.2
+          - coq-8.18.0-emacs-29.3
           - coq-8.18.0-emacs-29.4
           - coq-8.19.2-emacs-26.3
           - coq-8.19.2-emacs-27.1
           - coq-8.19.2-emacs-28.2
+          - coq-8.19.2-emacs-29.3
           - coq-8.19.2-emacs-29.4
           - coq-8.20.0-emacs-26.3
           - coq-8.20.0-emacs-27.1
@@ -205,10 +207,12 @@ jobs:
           - coq-8.18.0-emacs-26.3
           - coq-8.18.0-emacs-27.1
           - coq-8.18.0-emacs-28.2
+          - coq-8.18.0-emacs-29.3
           - coq-8.18.0-emacs-29.4
           - coq-8.19.2-emacs-26.3
           - coq-8.19.2-emacs-27.1
           - coq-8.19.2-emacs-28.2
+          - coq-8.19.2-emacs-29.3
           - coq-8.19.2-emacs-29.4
           - coq-8.20.0-emacs-26.3
           - coq-8.20.0-emacs-27.1
@@ -277,10 +281,12 @@ jobs:
           - coq-8.18.0-emacs-26.3
           - coq-8.18.0-emacs-27.1
           - coq-8.18.0-emacs-28.2
+          - coq-8.18.0-emacs-29.3
           - coq-8.18.0-emacs-29.4
           - coq-8.19.2-emacs-26.3
           - coq-8.19.2-emacs-27.1
           - coq-8.19.2-emacs-28.2
+          - coq-8.19.2-emacs-29.3
           - coq-8.19.2-emacs-29.4
           - coq-8.20.0-emacs-26.3
           - coq-8.20.0-emacs-27.1
diff --git a/ci/doc/README.md b/ci/doc/README.md
index a59e5803a..e28eaf1e2 100644
--- a/ci/doc/README.md
+++ b/ci/doc/README.md
@@ -168,28 +168,27 @@ This results in
 <!-- The content between the CIPG markers is automatically changed by
  !-- the cipg program. Do not change these markers. -->
 <!-- CIPG change marker: container-number -->
-63
+62
 <!-- CIPG change marker end -->
 containers.
 
 <!-- The content between the CIPG markers is automatically changed by
  !-- the cipg program. Do not change these markers. -->
 <!-- CIPG change marker: container-table -->
-|         | 26.1 | 26.2 | 26.3 | 27.1 | 27.2 | 28.1 | 28.2 | 29.1 | 29.2 | 29.3 | 29.4 |
-|---------+------+------+------+------+------+------+------+------+------+------+------|
-|   8.8.2 |   H  |      |      |      |      |      |      |      |      |      |      |
-|   8.9.1 |      |   H  |      |      |      |      |      |      |      |      |      |
-|  8.10.2 |      |      |   H  |      |      |      |      |      |      |      |      |
-|  8.11.2 |      |      |  SUP |      |      |      |      |      |      |      |   N  |
-|  8.12.2 |      |      |  SUP |   H  |      |      |      |      |      |      |   N  |
-|  8.13.2 |      |      |  SUP |      |   H  |      |      |      |      |      |   N  |
-|  8.14.1 |      |      |  SUP |      |   H  |      |      |      |      |      |   N  |
-|  8.15.2 |      |      |  SUP |  SUP |      |   H  |      |      |      |      |   N  |
-|  8.16.1 |      |      |   X  |   X  |   X  |   X  |   X  |   X  |   X  |   X  |   X  |
-|  8.17.1 |      |      |   X  |   X  |   X  |   X  |   X  |   X  |   X  |   X  |   X  |
-|  8.18.0 |      |      |   X  |   X  |   X  |   X  |   X  |   X  |   X  |   X  |   X  |
-|  8.19.2 |      |      |   X  |   X  |   X  |   X  |   X  |   X  |   X  |   X  |   X  |
-|  8.20.0 |      |      |   X  |   X  |   X  |   X  |   X  |   X  |   X  |   X  |   X  |
+|         | 26.2 | 26.3 | 27.1 | 27.2 | 28.1 | 28.2 | 29.1 | 29.2 | 29.3 | 29.4 |
+|---------+------+------+------+------+------+------+------+------+------+------|
+|   8.9.1 |   H  |      |      |      |      |      |      |      |      |      |
+|  8.10.2 |      |   H  |      |      |      |      |      |      |      |      |
+|  8.11.2 |      |  SUP |      |      |      |      |      |      |      |   N  |
+|  8.12.2 |      |  SUP |   H  |      |      |      |      |      |      |   N  |
+|  8.13.2 |      |  SUP |      |   H  |      |      |      |      |      |   N  |
+|  8.14.1 |      |  SUP |      |   H  |      |      |      |      |      |   N  |
+|  8.15.2 |      |  SUP |  SUP |      |   H  |      |      |      |      |   N  |
+|  8.16.1 |      |   X  |   X  |   X  |   X  |   X  |   X  |   X  |   X  |   X  |
+|  8.17.1 |      |   X  |   X  |   X  |   X  |   X  |   X  |   X  |   X  |   X  |
+|  8.18.0 |      |   X  |   X  |   X  |   X  |   X  |   X  |   X  |   X  |   X  |
+|  8.19.2 |      |   X  |   X  |   X  |   X  |   X  |   X  |   X  |   X  |   X  |
+|  8.20.0 |      |   X  |   X  |   X  |   X  |   X  |   X  |   X  |   X  |   X  |
 <!-- CIPG change marker end -->
 
 In the table above,
@@ -286,28 +285,27 @@ This results in
 <!-- The content between the CIPG markers is automatically changed by
  !-- the cipg program. Do not change these markers. -->
 <!-- CIPG change marker: testrun-number -->
-35
+37
 <!-- CIPG change marker end -->
 version pairs for the Proof General interaction tests with Coq.
 
 <!-- The content between the CIPG markers is automatically changed by
  !-- the cipg program. Do not change these markers. -->
 <!-- CIPG change marker: testrun-table -->
-|         | 26.1 | 26.2 | 26.3 | 27.1 | 27.2 | 28.1 | 28.2 | 29.1 | 29.2 | 29.3 | 29.4 |
-|---------+------+------+------+------+------+------+------+------+------+------+------|
-|   8.8.2 |      |      |      |      |      |      |      |      |      |      |      |
-|   8.9.1 |      |      |      |      |      |      |      |      |      |      |      |
-|  8.10.2 |      |      |      |      |      |      |      |      |      |      |      |
-|  8.11.2 |      |      |  SUP |      |      |      |      |      |      |      |   N  |
-|  8.12.2 |      |      |      |   H  |      |      |      |      |      |      |   N  |
-|  8.13.2 |      |      |      |      |   H  |      |      |      |      |      |   N  |
-|  8.14.1 |      |      |      |      |   H  |      |      |      |      |      |   N  |
-|  8.15.2 |      |      |      |  SUP |      |   H  |      |      |      |      |   N  |
-|  8.16.1 |      |      |      |      |      |      |  SUP |      |      |      |   N  |
-|  8.17.1 |      |      |   X  |   X  |      |      |   X  |   H  |      |      |   N  |
-|  8.18.0 |      |      |   X  |   X  |      |      |   X  |      |      |      |   N  |
-|  8.19.2 |      |      |   X  |   X  |      |      |   X  |      |      |      |   N  |
-|  8.20.0 |      |      |   X  |   X  |   N  |   N  |   X  |   N  |   N  |   N  |   N  |
+|         | 26.2 | 26.3 | 27.1 | 27.2 | 28.1 | 28.2 | 29.1 | 29.2 | 29.3 | 29.4 |
+|---------+------+------+------+------+------+------+------+------+------+------|
+|   8.9.1 |      |      |      |      |      |      |      |      |      |      |
+|  8.10.2 |      |      |      |      |      |      |      |      |      |      |
+|  8.11.2 |      |  SUP |      |      |      |      |      |      |      |   N  |
+|  8.12.2 |      |      |   H  |      |      |      |      |      |      |   N  |
+|  8.13.2 |      |      |      |   H  |      |      |      |      |      |   N  |
+|  8.14.1 |      |      |      |   H  |      |      |      |      |      |   N  |
+|  8.15.2 |      |      |  SUP |      |   H  |      |      |      |      |   N  |
+|  8.16.1 |      |      |      |      |      |  SUP |      |      |      |   N  |
+|  8.17.1 |      |   X  |   X  |      |      |   X  |   H  |      |      |   N  |
+|  8.18.0 |      |   X  |   X  |      |      |   X  |      |      |  SUP |   N  |
+|  8.19.2 |      |   X  |   X  |      |      |   X  |      |      |   X  |   N  |
+|  8.20.0 |      |   X  |   X  |   N  |   N  |   X  |   N  |   N  |   X  |   N  |
 <!-- CIPG change marker end -->
 
 See [Container build strategy](#contbuild) for an explanation of the
@@ -317,7 +315,7 @@ In summary, all Proof General testing jobs run
 <!-- The content between the CIPG markers is automatically changed by
  !-- the cipg program. Do not change these markers. -->
 <!-- CIPG change marker: total-checks-number -->
-134
+140
 <!-- CIPG change marker end -->
 github checks.
 
diff --git a/ci/doc/coq-emacs-releases.org b/ci/doc/coq-emacs-releases.org
index ad22dee64..a72a3139f 100644
--- a/ci/doc/coq-emacs-releases.org
+++ b/ci/doc/coq-emacs-releases.org
@@ -17,6 +17,7 @@
 | 2024/06 | 8.19.2 |  29.4 |                   |          |          |
 | 2024/03 | 8.19.1 |  29.3 |                   |          |          |
 | 2024/01 | 8.19.0 |  29.2 |                   |          |          |
+| 2024/04 |        |  29.3 | ubu 24 noble num  | 2029/06  |          |
 | 2023/09 | 8.18.0 |       |                   |          |          |
 | 2023/07 |        |  29.1 |                   |          | X        |
 | 2023/06 | 8.17.1 |       |                   |          |          |
diff --git a/ci/doc/currently-used-coq-emacs-versions b/ci/doc/currently-used-coq-emacs-versions
index e681d2581..3977425c1 100644
--- a/ci/doc/currently-used-coq-emacs-versions
+++ b/ci/doc/currently-used-coq-emacs-versions
@@ -1,4 +1,3 @@
-coq-8.8.2-emacs-26.1
 coq-8.9.1-emacs-26.2
 coq-8.10.2-emacs-26.3
 coq-8.11.2-emacs-26.3
diff --git a/ci/doc/currently-used-coq-nix-versions b/ci/doc/currently-used-coq-nix-versions
index ccb4dff58..da99eff03 100644
--- a/ci/doc/currently-used-coq-nix-versions
+++ b/ci/doc/currently-used-coq-nix-versions
@@ -1,4 +1,3 @@
-8.8.2
 8.9.1
 8.10.2
 8.11.2