Re: [xwiki-devs] [Proposal] Default directory for Extension Manager