--- /dev/null
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
+ "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
+
+<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
+<head>
+ <meta name="generator" content=
+ "HTML Tidy for Linux/x86 (vers 12 April 2005), see www.w3.org" />
+
+ <title>Misc.</title>
+ <meta http-equiv="Content-Type" content=
+ "text/html; charset=us-ascii" />
+ </head>
+
+<body>
+ <div id="page">
+ <h1>Misc.</h1>
+
+ <p><a href="acks.html" title="Acknowledgements">Acks</a>
+ contains acknowledgments; <a href="contact.html">Contact</a>
+ contains contact information;<a href=
+ "disclaimer.html">Disclaimer and Copyright</a> is a standard
+ disclaimer, and <a href="references.html">References</a>
+ contains references.</p>
+ </div>
+</body>
+</html>