diff --git a/flake.lock b/flake.lock
index c2fad484be5..429aa08b4db 100644
--- a/flake.lock
+++ b/flake.lock
@@ -118,11 +118,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1701348593,
-        "narHash": "sha256-kBtj9cf2VF4vid7w8C95OPjC7wWlN8lFFVsFL2J7f3w=",
+        "lastModified": 1701789957,
+        "narHash": "sha256-8gSsO9P2JwmVDuu1Cn+hIrc2CztYTtWX33WPf5SETto=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "4cbbb3a13dfb92903d9a955b1d7da4f38c6ef5fd",
+        "rev": "04dd60e70c62fe73785da321f964ee438f84ca91",
         "type": "github"
       },
       "original": {
diff --git a/k-distribution/pl-tutorial/2_languages/3_fun/1_untyped/2_substitution/fun-untyped.md b/k-distribution/pl-tutorial/2_languages/3_fun/1_untyped/2_substitution/fun-untyped.md
index fff5887897b..b09df15403a 100644
--- a/k-distribution/pl-tutorial/2_languages/3_fun/1_untyped/2_substitution/fun-untyped.md
+++ b/k-distribution/pl-tutorial/2_languages/3_fun/1_untyped/2_substitution/fun-untyped.md
@@ -2,6 +2,10 @@
 copyright: Copyright (c) K Team. All Rights Reserved.
 ---
 
+// NOTE: this definition is not up to date with the latest version of K, as it
+// uses both substitution and symbolic reasoning.
+// It is intended for documentation and academic purposes only.
+
 # FUN — Untyped — Substitution
 
 Author: Grigore Roșu (grosu@illinois.edu)  
diff --git a/k-distribution/pl-tutorial/2_languages/4_logik/basic/logik.md b/k-distribution/pl-tutorial/2_languages/4_logik/basic/logik.md
index 609d817ffe9..a8ba9f80ecb 100644
--- a/k-distribution/pl-tutorial/2_languages/4_logik/basic/logik.md
+++ b/k-distribution/pl-tutorial/2_languages/4_logik/basic/logik.md
@@ -2,6 +2,9 @@
 copyright: Copyright (c) K Team. All Rights Reserved.
 ---
 
+// NOTE: this definition is not runnable as is.
+// It is intended for documentation and academic purposes only.
+
 # LOGIK
 
 Author: Grigore Roșu (grosu@illinois.edu)  
diff --git a/k-distribution/pl-tutorial/2_languages/4_logik/extended/exercises/logik-extended/logik.k b/k-distribution/pl-tutorial/2_languages/4_logik/extended/exercises/logik-extended/logik.k
index e91d5d60582..cbff848c668 100644
--- a/k-distribution/pl-tutorial/2_languages/4_logik/extended/exercises/logik-extended/logik.k
+++ b/k-distribution/pl-tutorial/2_languages/4_logik/extended/exercises/logik-extended/logik.k
@@ -1,4 +1,8 @@
 // Copyright (c) K Team. All Rights Reserved.
+
+// NOTE: this definition is not runnable as is.
+// It is intended for documentation and academic purposes only.
+
 require "unification.k"
 
 module LOGIK-COMMON
diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend
index 4cbbb3a13df..04dd60e70c6 160000
--- a/llvm-backend/src/main/native/llvm-backend
+++ b/llvm-backend/src/main/native/llvm-backend
@@ -1 +1 @@
-Subproject commit 4cbbb3a13dfb92903d9a955b1d7da4f38c6ef5fd
+Subproject commit 04dd60e70c62fe73785da321f964ee438f84ca91