<li><a href="upgrade6.html">Upgrading from 1.2.3 to 1.3.0</a>
<li><a href="upgrade7.html">Upgrading from 1.3.0 to 1.3.1</a>
<li><a href="upgrade8.html">Upgrading from 1.3.1 to 1.4.0</a>
+<!--
<li><a href="config.html">Configuration files</a>
+!-->
<li><a href="admin.html">Administration</a>
<!--
<li><a href="../index.html#admin">Administration</a>