Remove redundant use of 'JSON5'

Author: jordanbtucker

docs/index.html

@@ -444,7 +444,7 @@ <h1><span class="secnum">5.2</span>Paragraph and Line Separators</h1>
     <p>
       Like JSON, JSON5 allows the Unicode code points U+2028 and U+2029 to
       appear unescaped in strings. Since ECMAScript 5.1 does not allow these
-      code points in strings, JSON5 authors should avoid including them in JSON5
+      code points in strings, authors should avoid including them in JSON5
       documents. JSON5  <emu-xref href="#parsers" id="_ref_4"><a href="#parsers">parsers</a></emu-xref> should
       produce a warning when they are found unescaped in strings. JSON5
 

src/index.html

@@ -443,7 +443,7 @@ <h1>Paragraph and Line Separators</h1>
     <p>
       Like JSON, JSON5 allows the Unicode code points U+2028 and U+2029 to
       appear unescaped in strings. Since ECMAScript 5.1 does not allow these
-      code points in strings, JSON5 authors should avoid including them in JSON5
+      code points in strings, authors should avoid including them in JSON5
       documents. JSON5 <emu-xref href="#parsers">parsers</emu-xref> should
       produce a warning when they are found unescaped in strings. JSON5
       <emu-xref href="#generators">generators</emu-xref> should escape these