--- a/docs/index.php3
+++ b/docs/index.php3
@@ -1,18 +1,23 @@
 <?php require("../start_page.php3"); start_page("docs/", "OProfile documentation"); ?>
 The manuals listed below are intended for three different audiences:
 <?php rlink("doc/index.html", "OProfile manual"); ?>, for all OProfile users
 <?php rlink("doc/internals/index.html", "OProfile internals"); ?>, for OProfile contributors
 and those who are curious about the inner workings of OProfile
 <?php rlink("doc/devel/index.html", "OProfile JIT agent developer guide"); ?>, for OProfile-JIT agent
 library developers wanting to extend the profiling capabilities to support new virtual
 <h2>Example reports</h2>