It would be better if an installation script were available to download the Sveltosctl binary from the release page. I can work on this.