diff --git a/doc/src/03000-lib-core.md b/doc/src/03000-lib-core.md
deleted file mode 100644
index a79bb68c..00000000
--- a/doc/src/03000-lib-core.md
+++ /dev/null
@@ -1,11 +0,0 @@
-# libcore {#sec:libcore}
-
-<!--
-    Very core functionality, other would call it "libutil"
-    Might not get this big, but its here for DRYness
--->
-
-## Core Datatypes {#sec:libcore:coredatatypes}
-
-## Core functions {#sec:libcore:corefunctions}
-
diff --git a/doc/src/03000-lib-util.md b/doc/src/03000-lib-util.md
new file mode 100644
index 00000000..2eb12e1a
--- /dev/null
+++ b/doc/src/03000-lib-util.md
@@ -0,0 +1,10 @@
+# libutil {#sec:libutil}
+
+<!--
+    Might not get this big, but its here for DRYness
+-->
+
+## Datatypes {#sec:libutil:datatypes}
+
+## Functions {#sec:libutil:functions}
+