XWIKI-7718 & XWIKI-8972: Improve user profile's UI by using the vertical menu (adding an id prefix to the vertical-menu elements + adding a translation key).