From dba779cf1ff11c9bfa82dbca1eef7362c6b183b0 Mon Sep 17 00:00:00 2001
From: Salim B <git@salim.space>
Date: Sat, 28 Jan 2023 06:38:55 +0100
Subject: Hyperlink reference to extension in manual (#8583)

---
 MANUAL.txt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/MANUAL.txt b/MANUAL.txt
index 7bb4810ab..751dc2c5b 100644
--- a/MANUAL.txt
+++ b/MANUAL.txt
@@ -4202,8 +4202,8 @@ definition:
 
 Note that space between items in a definition list is required.
 (A variant that loosens this requirement, but disallows "lazy"
-hard wrapping, can be activated with `compact_definition_lists`: see
-[Non-default extensions], below.)
+hard wrapping, can be activated with the [`compact_definition_lists`
+extension][Extension: `compact_definition_lists`].)
 
 [^3]:  I have been influenced by the suggestions of [David
   Wheeler](https://justatheory.com/2009/02/modest-markdown-proposal/).
-- 
cgit v1.2.3