[xwiki-devs] Sorry for the multiple commits for the wiki-manager rename