Index: trunk/doc/user/index.html =================================================================== --- trunk/doc/user/index.html (revision 7794) +++ trunk/doc/user/index.html (revision 7795) @@ -27,15 +27,17 @@