[xwiki-devs] [VOTE] Remove distribution (war) from xwiki-platform