-<P>
-<UL>
- <LI>formatted in <A HREF="html_mono/%PACKAGE%.html">HTML
- (%HTML_SIZE%K characters)</A> entirely on one web page.</LI>
- <LI> formatted in <a href="html_chapter/%PACKAGE%_toc.html">HTML</a>
- with one web page per chapter.</LI>
- <LI> formatted in <a href="html_node/%PACKAGE%_toc.html">HTML</a>
- with one web page per node.</LI>
- <LI>formatted as an
- <A HREF="other/%PACKAGE%.info.tar.gz">Info document (%INFO_TAR_GZ_SIZE%K characters
- gzipped tar file)</A>.</LI>
- <LI>formatted as
- <A HREF="other/%PACKAGE%.text">ASCII text (%TEXT_SIZE%K characters)</A>.</LI>
- <LI>formatted as
- <A HREF="other/%PACKAGE%.dvi.gz">a TeX dvi file (%DVI_GZ_SIZE%K characters
- gzipped)</A>.</LI>
- <LI>formatted as
- <A href="other/%PACKAGE%.ps.gz">a PostScript file (%PS_GZ_SIZE%K characters
- gzipped)</A>.</LI>
- <LI>formatted as
- <A href="other/%PACKAGE%.pdf.gz">a PDF file (%PDF_GZ_SIZE%K characters
- gzipped)</A>.</LI>
- <LI>the original
- <A HREF="other/%PACKAGE%.texi.tar.gz">Texinfo source (%TEXI_TAR_GZ_SIZE%K characters
- gzipped tar file)</A></LI>
-</UL>
-<P>
-
-<HR>
-
-Return to <A HREF="/home.html">GNU's home page</A>.
-<P>
-Send FSF & GNU inquiries & questions to
-<A HREF="mailto:gnu@gnu.org"><EM>gnu@gnu.org</EM></A>.
-Other <A HREF="/home.html#ContactInfo">ways to contact</A> the FSF.
-<P>
-Comments on these web pages to
-<A HREF="mailto:webmasters@www.gnu.org"><EM>webmasters@www.gnu.org</EM></A>,
+</p>
+
+<ul class="doclist">
+ <li>formatted in <a href="html_mono/%PACKAGE%.html">HTML
+ (%HTML_SIZE%K characters)</a> entirely on one web page.</li>
+
+ <li>formatted in <a href="html_chapter/%PACKAGE%_toc.html">HTML</a>
+ with one web page per chapter.</li>
+
+ <li>formatted in <a href="html_node/%PACKAGE%_toc.html">HTML</a>
+ with one web page per node.</li>
+
+ <li>formatted as an
+ <a href="other/%PACKAGE%.info.tar.gz">Info document (%INFO_TAR_GZ_SIZE%K characters
+ gzipped tar file)</a>.</li>
+
+ <li>formatted as
+ <a href="other/%PACKAGE%.text">ASCII text (%TEXT_SIZE%K characters)</a>.</li>
+
+ <li>formatted as
+ <a href="other/%PACKAGE%.dvi.gz">a TeX dvi file (%DVI_GZ_SIZE%K characters
+ gzipped)</a>.</li>
+
+ <li>formatted as
+ <a href="other/%PACKAGE%.ps.gz">a PostScript file (%PS_GZ_SIZE%K characters
+ gzipped)</a>.</li>
+
+ <li>formatted as
+ <a href="other/%PACKAGE%.pdf.gz">a PDF file (%PDF_GZ_SIZE%K characters
+ gzipped)</a>.</li>
+
+ <li>the original
+ <a href="other/%PACKAGE%.texi.tar.gz">Texinfo source (%TEXI_TAR_GZ_SIZE%K characters
+ gzipped tar file)</a></li>
+</ul>
+
+<hr />
+
+<p>
+<a href="http://validator.w3.org/check?uri=referer"><img
+ src="http://www.w3.org/Icons/valid-xhtml10"
+ alt="Valid XHTML 1.0!" height="31" width="88" /></a>
+</p>
+
+<div class="copyright">
+<p>Return to <a href="/home.html">GNU's home page</a>.</p>
+
+<p>Please send FSF & GNU inquiries & questions to
+<a href="mailto:gnu@gnu.org"><em>gnu@gnu.org</em></a>.
+There are also <a href="/home.html#ContactInfo">other ways to
+contact</a> the FSF.</p>
+
+<p>Please send comments on these web pages to
+
+<a href="mailto:webmasters@gnu.org"><em>webmasters@gnu.org</em></a>,
+