Clarify collective maintaintenance.

index.html

@@ -35,17 +35,16 @@ <h2 id="top">Annotated ECMAScript 5.1 <span id="timestamp"></span></h2>
   online, in HTML and at “point of use”, <b>for the purposes of
   explaining the spec and assisting in its implementation</b> that are
   allowed for in the spec <a href="#license">license</a>. -->
-
-  maintained by <a href="http://sideshowbarker.net/+">Michael[tm] Smith</a>.
+  the source for which is maintained at
+  <a href="https://github.com/es5/es5.github.com">https://github.com/es5/es5.github.com</a>.
   No copyright is asserted on its front matter (everything up through
   the Table of Contents), but any reuse of its body text
   (everything following the Table of Contents) must include the normative
   spec’s
   <a href="#copyright">copyright</a>
   notice and
   <a href="#license">license</a>
-  statement. The source for this version is at
- <a href="https://github.com/es5/es5.github.com">https://github.com/es5/es5.github.com</a></p>
+  statement.</p>
 
 <p id="annos">To view annotations, follow the <b>Ⓐ</b>, <b>Ⓑ</b>, <b>Ⓓ</b>, <b>Ⓡ</b>,
   <b>Ⓖ</b>, <b>Ⓔ</b>, and <b>①</b> hyperlinks in the headings. A

spec.html

@@ -22,17 +22,16 @@ <h2 id="top">Annotated ECMAScript 5.1 <span id="timestamp"></span></h2>
   online, in HTML and at &#8220;point of use&#8221;, <b>for the purposes of
   explaining the spec and assisting in its implementation</b> that are
   allowed for in the spec <a href="#license">license</a>. -->
-
-  maintained by <a href="http://sideshowbarker.net/+">Michael[tm] Smith</a>.
+  the source for which is maintained at
+  <a href="https://github.com/es5/es5.github.com">https://github.com/es5/es5.github.com</a>.
   No copyright is asserted on its front matter (everything up through
   the Table of Contents), but any reuse of its body text
   (everything following the Table of Contents) must include the normative
   spec&#8217;s
   <a href="#copyright">copyright</a>
   notice and
   <a href="#license">license</a>
-  statement. The source for this version is at
- <a href="https://github.com/es5/es5.github.com">https://github.com/es5/es5.github.com</a></p>
+  statement.</p>
 
 <p id="annos">To view annotations, follow the <b>&#9398;</b>, <b>&#9399;</b>, <b>&#9401;</b>, <b>&#9415;</b>,
   <b>&#9404;</b>, <b>&#9402;</b>, and <b>&#9312;</b> hyperlinks in the headings. A