2 ms·Isn't most non-free stuff installed in /opt or in the user homedir these days anyway?by prmoustache 2y agoIsn't most non-free stuff installed in /opt or in the user homedir these days anyway?