Index: trunk/doc/design/index.html =================================================================== --- trunk/doc/design/index.html (revision 2748) +++ trunk/doc/design/index.html (revision 2749) @@ -13,6 +13,7 @@