Index: doc-rnd/devlog/20150731a_menu.html =================================================================== --- doc-rnd/devlog/20150731a_menu.html (revision 684) +++ 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