[xwiki-devs] [Proposal] Remove XWiki 5.1 branch