From fbbf324a3b3cc7227bcb74d33a6cb38bbb5e7c71 Mon Sep 17 00:00:00 2001
From: Jan Schultke <me@eisenwave.net>
Date: Fri, 13 Feb 2026 12:21:45 +0100
Subject: [PATCH] [intro.compliance.general] Mark documentation encouragement
 as recommended practice

---
 source/intro.tex | 1 +
 1 file changed, 1 insertion(+)

diff --git a/source/intro.tex b/source/intro.tex
index 5cb98d2101..5179e1e580 100644
--- a/source/intro.tex
+++ b/source/intro.tex
@@ -860,6 +860,7 @@
 results in a contract violation\iref{structure.specifications}.
 
 \pnum
+\recommended
 An implementation is encouraged to document its limitations in
 the size or complexity of the programs it can successfully process,
 if possible and where known.