From 1a633f7b2fee0661ac79acdc7fe57eb128cae995 Mon Sep 17 00:00:00 2001
From: Henry Andrews <henry@cloudflare.com>
Date: Fri, 15 Jun 2018 15:21:10 -0700
Subject: [PATCH] Clarify $comment and annotations

"$comment" is not an annotation.  Now that we have the concept of
keyword classifications, this makes the distinction between
"description" (which is an annotation) and "$comment" (which is
not) more clear.
---
 jsonschema-core.xml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/jsonschema-core.xml b/jsonschema-core.xml
index 893af5ae..2d411647 100644
--- a/jsonschema-core.xml
+++ b/jsonschema-core.xml
@@ -999,7 +999,8 @@
                 schemas is a concern.
 
                 Implementations MUST NOT take any other action based on the presence, absence,
-                or contents of "$comment" properties.
+                or contents of "$comment" properties.  In particular, the value of "$comment"
+                MUST NOT be collected as an annotation result.
             </t>
         </section>