doc: Update links which returned 404

Two links in the isn module documentation were pointing to tools
which had been moved, resulting in 404 error responses.  Update
to the new URLs for the tools.  The link to the Sequoia 2000 page
in the history section was no longer working, and since the page
is no longer available online update our link to point at the
paper instead which is on a stable URL.

These links exist in all versions of the documentation so backpatch
to all supported branches.

Author: Daniel Gustafsson <daniel@yesql.se>
Reported-by: charukiewicz@protonmail.com
Discussion: https://postgr.es/m/173679670185.705.8565555804465055355@wrigleys.postgresql.org
Backpatch-through: 13

Author: danielgustafsson

doc/src/sgml/biblio.sgml

@@ -564,5 +564,23 @@ ssimkovi@ag.or.at
     </confgroup>
    </biblioentry>
 
+   <biblioentry id="ston92">
+   <biblioset relation="article">
+    <title><ulink url="https://dsf.berkeley.edu/papers/S2K-91-05.pdf">
+    An overview of the Sequoia 2000 project
+    </ulink></title>
+    <authorgroup>
+     <author>
+      <firstname>M.</firstname>
+      <surname>Stonebraker</surname>
+     </author>
+    </authorgroup>
+   </biblioset>
+   <biblioset relation="journal">
+    <title>Digest of Papers COMPCON Spring 1992</title>
+    <date>1992</date>
+    <pagenums>383&ndash;388</pagenums>
+   </biblioset>
+   </biblioentry>
   </bibliodiv>
  </bibliography>

doc/src/sgml/history.sgml

@@ -75,9 +75,8 @@
    url="https://www.ibm.com/">IBM</ulink>) picked up the code and
    commercialized it.  In late 1992,
    <productname>POSTGRES</productname> became the primary data manager
-   for the
-   <ulink url="http://meteora.ucsd.edu/s2k/s2k_home.html">
-   Sequoia 2000 scientific computing project</ulink>.
+   for the Sequoia 2000 scientific computing project described in
+   <xref linkend="ston92"/>.
   </para>
 
   <para>

doc/src/sgml/isn.sgml

@@ -398,9 +398,9 @@ SELECT isbn13(id) FROM test;
    <itemizedlist>
     <listitem><para><ulink url="https://www.gs1.org/standards/id-keys"></ulink></para></listitem>
     <listitem><para><ulink url="https://en.wikipedia.org/wiki/List_of_ISBN_registration_groups"></ulink></para></listitem>
-    <listitem><para><ulink url="https://www.isbn-international.org/content/isbn-users-manual"></ulink></para></listitem>
+    <listitem><para><ulink url="https://www.isbn-international.org/content/isbn-users-manual/29"></ulink></para></listitem>
     <listitem><para><ulink url="https://en.wikipedia.org/wiki/International_Standard_Music_Number"></ulink></para></listitem>
-    <listitem><para><ulink url="https://www.ismn-international.org/ranges.html"></ulink></para></listitem>
+    <listitem><para><ulink url="https://www.ismn-international.org/ranges/tools"></ulink></para></listitem>
    </itemizedlist>
 
    Care was taken during the creation of the algorithms and they