And an archive would be doing exactly that: Distributing copyrighted materials.
Moving to Europe is not necessarily a great idea depending on the country they choose. US copyright law is comparatively lenient to some European countries, who can be said to be (much more) controlled by publishers when it comes to copyright.
These suggestion all sound quite bland and corporate though. GIMP isn't a great name but better than all of those in my opinion.
A better change should be more like Minetest becoming Luanti. Here is what ChatGPT came up with instead:
These are horrible compared to Luanti.