FIXUP (library) Header synopsis heading -- we never said what <meta> is

tkoeppe · tkoeppe · commit 85f0b0ea66e2 · 2025-07-12T23:41:35.000+01:00
diff --git a/source/meta.tex b/source/meta.tex
@@ -2572,7 +2572,7 @@
 
 \rSec1[meta.reflection]{Reflection}
 
-\rSec2[meta.syn]{General}
+\rSec2[meta.syn]{Header \tcode{<meta>} synopsis}
 
 \indexheader{meta}%
 \begin{codeblock}
