Editorial: correct URL path serializer markup

Fixes #786.

url.bs

@@ -3025,7 +3025,7 @@ these steps. They return an <a>ASCII string</a>.
 <p>The <dfn export lt="URL path serializer|URL path serializing">URL path serializer</dfn> takes a
 <a for=/>URL</a> <var>url</var> and then runs these steps. They return an <a>ASCII string</a>.
 
-<ul>
+<ol>
  <li><p>If <var>url</var> has an <a for=url>opaque path</a>, then return <var>url</var>'s
  <a for=url>path</a>.
 
@@ -3035,7 +3035,7 @@ these steps. They return an <a>ASCII string</a>.
  U+002F (/) followed by <var>segment</var> to <var>output</var>.
 
  <li><p>Return <var>output</var>.
-</ul>
+</ol>
 
 
 <h3 id=url-equivalence>URL equivalence</h3>
@@ -4031,6 +4031,7 @@ Joe Duarte,
 Joshua Bell,
 Jxck,
 Karl Wagner,
+Kemal Zebari,
 田村健人 (Kent TAMURA),
 Kevin Grandon,
 Kornel Lesiński,