website, according to the terms of the GNU General Public Licence and
the GNU Affero General Public Licence respectively (v3 or later).
% if (!$isdocs) {
-Please see the <a href="docs">YARRG documentation webpage</a> for
+Please see the <a href="intro">YARRG introduction webpage</a> for
details of how to obtain the client and server code and full details
of the licences.
% }