User profile "Wikis" name cannot be overwritten from translations

In XWIki, it is possible to override a translation in order to have a different name for a given element. In the case of user profile "Wikis" section, the "Wikis" name cannot be changed by assigning a different translation to its translation key.

platform.wiki.menu.userwikis=Wiki This translation is deprecated in https://github.com/xwiki/xwiki-platform/blob/master/xwiki-platform-core/xwiki-platform-wiki/xwiki-platform-wiki-ui/xwiki-platform-wiki-ui-mainwiki/src/main/resources/WikiManager/Translations.xml#L76 but is still used in https://github.com/xwiki/xwiki-platform/blob/52a7286987dfe28fe8a8affd1006778ba9ca88e8/xwiki-platform-core/xwiki-platform-wiki/xwiki-platform-wiki-ui/xwiki-platform-wiki-ui-mainwiki/src/main/resources/WikiManager/UserWikiSheet.xml#L605

While this translation is in a translation wiki page visible in the entire wiki, the translation cannot be overwritten in another translation wiki page.

The other user profile categories names are translated in platform.core.profile.category.-form translations, in ApplicationResources.properties. In order to align Wikis category with the rest, its name should be translated in the same place with the key platform.core.profile.category.wikis.