fixup! chore: docs, CI, tooling, and dotli integration for the Rust core

pgherveou · pgherveou · commit 590abd1c5a45 · 2026-06-30T23:16:05.000+02:00
diff --git a/hosts/dotli b/hosts/dotli
@@ -1 +1 @@
-Subproject commit d965452fa19253a839e7e64254cb77b033763233
+Subproject commit 742976d2004c8df610d746aa86bfda4d2af30722
