The Linux installation steps look a bit funky to me: Downloading a zip file from the internet and unzipping directly to "/".
It's not very different from piping curl output to bash.