Editorial: clean up definitions of network errors

Author: annevk

fetch.bs

@@ -567,10 +567,10 @@ for consistency.
 <h4 id=terminology-headers>Headers</h4>
 
 <p>A <dfn export id=concept-header-list>header list</dfn> is a <a for=/>list</a> of zero or more
-<a for=/>headers</a>. It is initially the empty list.
+<a for=/>headers</a>. It is initially « ».
 
-<p class="note no-backref">A <a for=/>header list</a> is essentially a
-specialized multimap: an ordered list of key-value pairs with potentially duplicate keys.
+<p class=note>A <a for=/>header list</a> is essentially a specialized multimap: an ordered list of
+key-value pairs with potentially duplicate keys.
 
 <div algorithm>
 <p>To
@@ -1534,7 +1534,7 @@ unset.
 
 <p>A <a for=/>request</a> has an associated
 <dfn export for=request id=concept-request-header-list>header list</dfn> (a
-<a for=/>header list</a>). Unless stated otherwise it is empty.
+<a for=/>header list</a>). Unless stated otherwise it is « ».
 
 <p>A <a for=/>request</a> has an associated
 <dfn id=unsafe-request-flag export for=request>unsafe-request flag</dfn>. Unless stated otherwise it
@@ -2313,9 +2313,9 @@ end-user.
 
 <p>A <a for=/>response</a> has an associated
 <dfn export for=response id=concept-response-url-list>URL list</dfn> (a <a for=/>list</a> of zero or
-more <a for=/>URLs</a>). Unless stated otherwise, it is the empty list.
+more <a for=/>URLs</a>). Unless stated otherwise, it is « ».
 
-<p class="note no-backref">Except for the last <a for=/>URL</a>, if any, a <a for=/>response</a>'s
+<p class=note>Except for the last <a for=/>URL</a>, if any, a <a for=/>response</a>'s
 <a for=response>URL list</a> is not exposed to script as that would violate
 <a>atomic HTTP redirect handling</a>.
 
@@ -2332,7 +2332,7 @@ message as HTTP/2 does not support them.
 
 <p>A <a for=/>response</a> has an associated
 <dfn export for=response id=concept-response-header-list>header list</dfn> (a
-<a for=/>header list</a>). Unless stated otherwise it is empty.
+<a for=/>header list</a>). Unless stated otherwise it is « ».
 
 <p>A <a for=/>response</a> has an associated
 <dfn export for=response id=concept-response-body>body</dfn> (null or a
@@ -2395,19 +2395,13 @@ this is also tracked internally using the request's <a for=request>timing allow
 
 <hr>
 
-<p>A <a for=/>response</a> whose
-<a for=response>type</a> is "<code>error</code>" and <a for=response>aborted flag</a> is set is
-known as an <dfn export id=concept-aborted-network-error>aborted network error</dfn>.
-
-<p>A <a for=/>response</a> whose
-<a for=response>type</a> is "<code>error</code>" is known as a
-<dfn export id=concept-network-error>network error</dfn>.
+<p>A <dfn export id=concept-network-error>network error</dfn> is a <a for=/>response</a> whose
+<a for=response>type</a> is "<code>error</code>", <a for=response>status</a> is 0,
+<a for=response>status message</a> is the empty byte sequence,
+<a for=response>header list</a> is « », and <a for=response>body</a> is null.
 
-<p>A <a>network error</a> is a <a for=/>response</a> whose
-<a for=response>status</a> is always 0,
-<a for=response>status message</a> is always the empty byte sequence,
-<a for=response>header list</a> is always empty, and
-<a for=response>body</a> is always null.
+<p>An <dfn export id=concept-aborted-network-error>aborted network error</dfn> is a
+<a>network error</a> whose <a for=response>aborted flag</a> is set.
 
 <div algorithm>
 <p>To create the <dfn>appropriate network error</dfn> given <a for=/>fetch params</a>
@@ -2472,10 +2466,10 @@ of defining the concrete types of <a for=/>filtered responses</a>.)
 <p>An <dfn export id=concept-filtered-response-opaque>opaque filtered response</dfn> is a
 <a>filtered response</a> whose
 <a for=response>type</a> is "<code>opaque</code>",
-<a for=response>URL list</a> is the empty list,
+<a for=response>URL list</a> is « »,
 <a for=response>status</a> is 0,
 <a for=response>status message</a> is the empty byte sequence,
-<a for=response>header list</a> is empty, and
+<a for=response>header list</a> is « », and
 <a for=response>body</a> is null.
 
 <p>An
@@ -2484,7 +2478,7 @@ is a <a>filtered response</a> whose
 <a for=response>type</a> is "<code>opaqueredirect</code>",
 <a for=response>status</a> is 0,
 <a for=response>status message</a> is the empty byte sequence,
-<a for=response>header list</a> is empty, and
+<a for=response>header list</a> is « », and
 <a for=response>body</a> is null.
 
 <div class=note>