Thanks for the tip, i had to try it out because i didn’t knew that. It seems in this case the -9 option does the same as default (delete the AntiMicroX process but not the AppRun one). I also tried with killall and its -g option to include all processes in the same group, but they probably are not in a common group since it behaved the same. Anyway, TIL about these options so thank you !

Yup, very clever, I think this will avoid any problem with other potential AppImage processes. Thank you very much <3

For more details : this AppRun.wrapped process is mounted in a partially randomized folder each time, something like /tmp/.mount_AntiMiXXXXXX/AppRun.wrapped, where the Xs are a bunch of random characters. So using pkill with regex can both include all versions this full command line can take, while excluding processes created by other apps (which, I suppose , won’t have ‘AntiMi’ in their folder name) : pkill -f /tmp/.mount_AntiMi.*/AppRun.wrapped

I have no deep knowledge of this, but i guess there is a difference between sponsoring and owning. A lot of big FOSS projects have indeed corporate donations, but i think for the most part corporate cannot force them to do things (the only exception i know of being the deal between Mozilla and Google). Of course, they can threaten to cut fundings, but i think it isnt a real problem (for now) for various reasons : linux ecosystem is still niche enough to be uninteresting for big corpos, donations help projects get better quicker but you can always fork them and come back to more humble progression if needed (not 100% sure, im not very tech literate, but that’s a feeling i get), and i guess FOSS ecosystem also provides big corpos with talented people and occasionally interesting pieces of software, so they have a bit of interest in keeping it alive.
If you want to go towards the least corporate options, you can try the most niche linux options. Linux Mint is based on Ubuntu, made by the enterprise Canonical, which has a somewhat bad reputation in the linux corporation, for being a bit too centralized i guess ? I use it as it is perfect for a not skilled user like me, but if you want to be independant of tech companies, maybe that’s not the perfect choice.