Well now we're going around in circles: 1. External install scripts that put stuff in system directories are sloppy and we don't like them 2. External install

Well now we're going around in circles: 1. External install scripts that put stuff in system directories are sloppy and we don't like them 2. External install scripts that put stuff clearly-named non-hidden directory in your $HOME are better than the above