Add missing nav link.
--- a/2048.html Sun Jan 10 16:35:44 2016 +0200
+++ b/2048.html Sun Jan 10 16:52:45 2016 +0200
@@ -108,7 +108,7 @@
</head>
<body>
- <div class="area">[ <a href="README.html">About</a> | <a href="CHANGES.html">Changes</a> | <a href="HACKING.html">Hacking</a> | <a href="AUTHORS.html">Authors</a> ]</div>
+ <div class="area">[ <a href="README.html">About</a> | <a href="CHANGES.html">Changes</a> | <a href="AIs.html">AIs</a> | <a href="HACKING.html">Hacking</a> | <a href="AUTHORS.html">Authors</a> ]</div>
<h1>2048</h1>