From 8002f48ed8c1d6b699ccd95cabc38fd0d9219563 Mon Sep 17 00:00:00 2001
From: Pierre-Anthony Lemieux <pal@palemieux.com>
Date: Sat, 8 Jul 2023 09:55:26 -0700
Subject: [PATCH] Clarify that external code snippets are not additional
 elements

---
 doc/main.html | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/doc/main.html b/doc/main.html
index 4f55eaf..05974ee 100644
--- a/doc/main.html
+++ b/doc/main.html
@@ -908,6 +908,10 @@ <h4>External code snippets</h4>
         </div>
 
         <p>Keeping code snippets separate from the main element allows the snippets to be individually formatted and validated.</p>
+      
+        <p>External code snippets are not additional elements of the document
+        and are not listed in the <i>Additional element</i> annex, which is
+        covered at <a href="#sec-elements-section"></a>.</p>
       </section>
 
       <section id="sec-code-element">