What about running a downloaded binary installer? What if the URL is HTTPS?