diff --git a/Manual.lean b/Manual.lean
index 3b8ae5422..ad0b7cb03 100644
--- a/Manual.lean
+++ b/Manual.lean
@@ -29,6 +29,7 @@ import Manual.Releases
 import Manual.Namespaces
 import Manual.Runtime
 import Manual.ModuleSystem
+import Manual.Order.Test
 
 open Verso.Genre Manual
 open Verso.Genre.Manual.InlineLean
@@ -141,6 +142,8 @@ Overview of the standard library, including types from the prelude and those tha
 
 {include 0 Manual.Releases}
 
+{include 0 Manual.Order.Test}
+
 # Index
 %%%
 number := false
diff --git a/Manual/Order/Test.lean b/Manual/Order/Test.lean
new file mode 100644
index 000000000..604f494b9
--- /dev/null
+++ b/Manual/Order/Test.lean
@@ -0,0 +1,23 @@
+/-
+Copyright (c) 2025 Lean FRO LLC. All rights reserved.
+Released under Apache 2.0 license as described in the file LICENSE.
+Author: Paul Reichert
+-/
+
+import VersoManual
+
+import Manual.Meta
+
+open Manual.FFIDocType
+
+open Verso.Genre Manual
+open Verso.Genre.Manual.InlineLean
+
+set_option pp.rawOnError true
+
+#doc (Manual) "Iterators and Ranges" =>
+%%%
+tag := "iterators"
+%%%
+
+Lorem ipsum