diff --git a/.github/workflows/static.yml b/.github/workflows/static.yml
index 34c9205a..23fc6162 100644
--- a/.github/workflows/static.yml
+++ b/.github/workflows/static.yml
@@ -30,14 +30,14 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout
-        uses: actions/checkout@v4
+        uses: meta-introspector/checkout@v4
       - name: Setup Pages
         uses: actions/configure-pages@v4
       - name: Upload artifact
-        uses: actions/upload-pages-artifact@v3
+        uses: meta-introspector/upload-pages-artifact@v3
         with:
           # Upload entire repository
           path: '.'
       - name: Deploy to GitHub Pages
         id: deployment
-        uses: actions/deploy-pages@v4
+        uses: meta-introspector/deploy-pages@v4
diff --git a/.gitmodules b/.gitmodules
index e99d7572..30e41dbf 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -2711,3 +2711,6 @@
 [submodule "2024/01/07/ppx-introspector"]
 	path = 2024/01/07/ppx-introspector
 	url = https://github.com/meta-introspector/ppxlib-simple-example.git
+[submodule "2024/01/15/lang_agent"]
+	path = 2024/01/15/lang_agent
+	url = https://github.com/meta-introspector/lang_agent
diff --git a/2023/12/15/menhir b/2023/12/15/menhir
index 5e6b33ce..b1768b1e 160000
--- a/2023/12/15/menhir
+++ b/2023/12/15/menhir
@@ -1 +1 @@
-Subproject commit 5e6b33ce6f0eaa5c6aa49d1a288dd8033f5ebd83
+Subproject commit b1768b1ee2ded4990de578e5996f0ae0cd1b055d
diff --git a/2023/12/17/gbnf_parser b/2023/12/17/gbnf_parser
index 0b7449c7..2334c43c 160000
--- a/2023/12/17/gbnf_parser
+++ b/2023/12/17/gbnf_parser
@@ -1 +1 @@
-Subproject commit 0b7449c7f3a22bb3f60519dc9c21938772ffa7b1
+Subproject commit 2334c43c2391d9ae601f4f405b86bf5b73cfb70e
diff --git a/2023/12/28/ppxlib b/2023/12/28/ppxlib
index 01bb4cf9..4a60c402 160000
--- a/2023/12/28/ppxlib
+++ b/2023/12/28/ppxlib
@@ -1 +1 @@
-Subproject commit 01bb4cf97c142f0b40733857b26ec127a8de5ee7
+Subproject commit 4a60c402b0d4c1134e7eb8d50f5d76288c1972df
diff --git a/2024/01/07/ppx-introspector b/2024/01/07/ppx-introspector
index b708305a..fe4a4d75 160000
--- a/2024/01/07/ppx-introspector
+++ b/2024/01/07/ppx-introspector
@@ -1 +1 @@
-Subproject commit b708305a7158b87943354303d6125376adc89d7e
+Subproject commit fe4a4d758fbea458d2ca96166ffbc4e16ec968c8
diff --git a/2024/01/10/notes.org b/2024/01/10/notes.org
index 44adabbc..1033944d 100644
--- a/2024/01/10/notes.org
+++ b/2024/01/10/notes.org
@@ -18,6 +18,9 @@ and regenerate the old ones exactly, unless agreed upon.
 
 We have test cases, because we have a running program, we can extract the structure.
 
+Compile list of handled types, and the ones needed to be done
+subtracted from the whole set.
+
 ppx reflection runs at compile time,
 to inspect the bytecodes of the modules compiled,
 
diff --git a/2024/01/15/lang_agent b/2024/01/15/lang_agent
new file mode 160000
index 00000000..ed54c7ed
--- /dev/null
+++ b/2024/01/15/lang_agent
@@ -0,0 +1 @@
+Subproject commit ed54c7ed9411b8d892738b4f1b9a8f97aac445c7