diff --git a/.devcontainer/doxygen-cgal/devcontainer.json b/.devcontainer/doxygen-cgal/devcontainer.json
index 0624727085f..f1c9f05badb 100644
--- a/.devcontainer/doxygen-cgal/devcontainer.json
+++ b/.devcontainer/doxygen-cgal/devcontainer.json
@@ -1,5 +1,5 @@
 {
-    "name": "CGAL Doxygen Dev Container",
+    "name": "CGAL Doxygen Dev Container, version 1.12.0, with CGAL patch",
     "image": "docker.io/cgal/doxygen:1.12.0",
     "features": {
         "ghcr.io/devcontainers/features/git:1.3.2": {}
@@ -7,7 +7,9 @@
     "customizations": {
         "vscode": {
             "extensions": [
-                "ms-vscode.cmake-tools"
+                "ms-vscode.cmake-tools",
+                "bbenoist.Doxygen",
+                "ms-vscode.cpptools"
             ]
         }
     },