diff --git a/.gitmodules b/.gitmodules
index 26124e9bf3..e1640158a0 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -3850,6 +3850,10 @@
 	path = extensions/tla-plus
 	url = https://github.com/Akanoa/Zed-editor-TLA-syntax
 
+[submodule "extensions/tlaplus"]
+	path = extensions/tlaplus
+	url = https://github.com/suckrowPierre/zed-tlaplus.git
+
 [submodule "extensions/tm-twilight"]
 	path = extensions/tm-twilight
 	url = https://github.com/waldirbertazzijr/zed-twilight
diff --git a/extensions.toml b/extensions.toml
index f91720bcac..d26b42e478 100644
--- a/extensions.toml
+++ b/extensions.toml
@@ -3903,6 +3903,10 @@ version = "0.0.2"
 submodule = "extensions/tla-plus"
 version = "0.2.0"
 
+[tlaplus]
+submodule = "extensions/tlaplus"
+version = "0.0.1"
+
 [tm-twilight]
 submodule = "extensions/tm-twilight"
 version = "0.0.2"