The fr-wikiversity Tool can get deleted.
The author of the tool was told to switch to a different name, so he created the fr-wikiversity-ns tool with the same content.
On https://www.mediawiki.org/w/index.php?title=Git/New_repositories/Requests/Entries&diff=2106878&oldid=2104611 he said that he wants to standardize on a name and have the other removed.
The name of his tool's gerrit repo is labs/tools/fr-wikiversity-ns, so once there is a way to delete tools, please delete the fr-wikiversity tool for him.
(Just proxying this request, as the user already needed to file two tickets T132988, and T133297, and had to request the gerrit repo on mediawiki.org, which is more than I'd expect someone would be willing to do)