[xwiki-devs] My tiny noticed about the top menu (merging buttons again)...