Index: trunk/doc-rnd/devlog/20150731a_menu.html =================================================================== --- trunk/doc-rnd/devlog/20150731a_menu.html (revision 684) +++ trunk/doc-rnd/devlog/20150731a_menu.html (revision 685) @@ -48,8 +48,8 @@ And here comes the conventions part: As long as plugins and scripts stick to this convention, the user can