fix: reference manual

[Garmelon]

No description provided.

[downstream-lean4]

Build report for fix: reference manual

Recently turned green:

Repo	Critical	Build	Test	Lint
reference-manual	✅	✅ in 1m	⏭️	⏭️

Unchanged

Repo	Critical	Build	Test	Lint
aesop	✅	✅ in 0m	✅ in 0m	⏭️
batteries	✅	✅ in 0m	✅ in 0m	✅ in 0m
import-graph	✅	✅ in 0m	✅ in 0m	⏭️
lean4-cli	✅	✅ in 0m	✅ in 0m	⏭️
mathlib4	✅	✅ in 6m	✅ in 1m	✅ in 2m
plausible	✅	✅ in 0m	✅ in 0m	⏭️
ProofWidgets4	✅	✅ in 0m	✅ in 0m	⏭️
quote4	✅	✅ in 0m	✅ in 0m	⏭️
BibtexQuery		✅ in 0m	⏭️	⏭️
comparator		✅ in 0m	⏭️	⏭️
cslib		✅ in 0m	✅ in 0m	✅ in 0m
doc-gen4		✅ in 0m	⏭️	⏭️
illuminate		✅ in 0m	✅ in 0m	⏭️
lean4-unicode-basic		✅ in 0m	✅ in 0m	⏭️
lean4export		✅ in 0m	✅ in 0m	⏭️
LeanSearchClient		✅ in 0m	✅ in 0m	⏭️
leansqlite		✅ in 0m	✅ in 0m	⏭️
repl		✅ in 0m	✅ in 0m	⏭️
verso		✅ in 2m	✅ in 1m	⏭️
verso-slides		🟥 in 1m	⏭️	⏭️
verso-web-components		✅ in 0m	⏭️	⏭️

View run

[Garmelon]

I'm just going to (ab)use this PR for radar testing...
!bench

[leanprover-radar]

Benchmark results for 8094829 against 5d62c71 are in. No significant results found. @Garmelon

• ✅ build//instructions: -29.4G (-0.02%)

No significant changes detected.