<td class="right-column">
<ul>
<li>
- <a class="title" href="topdocs/NEWS.html">News</a>
+ <a class="title" href="changes.html">News</a>
<br>(changes since the previous major release)</li>
<li><a class="title" href="../examples.html">Examples</a>
<li><a class="title" href="DEDICATION.html">Dedication</a>
<br>(by Jan and Han-Wen)</li>
+<li><a class="title" href="general/index.html">New website</a>
+<br>(total hack; to be replaced ASAP)</li>
</ul>
</td>
</tr>