I'm using the Docker one, so much easier and no worries of polluting my real environment (all the installation scripts tend to download a variety of things from

I'm using the Docker one, so much easier and no worries of polluting my real environment (all the installation scripts tend to download a variety of things from a variety of places).