Index: trunk/doc/design/index.html =================================================================== --- trunk/doc/design/index.html (revision 174) +++ trunk/doc/design/index.html (revision 175) @@ -5,6 +5,7 @@