Re: [xwiki-devs] [contrib] proposal to move xwiki-tools into contrib repo.