Re: [xwiki-devs] [Proposals] Menu improvements when Workspaces activated