I notice the installation-example is broken:

   sudo curl ... > /path/to/local/file

That'll run the `curl` command with privileges, but the existing shell will handle the redirection, so writing beneath /etc, as in the example, will fail.

The simpler approach is:

   curl https://horrid.site.sh/ | sudo tee /etc/blah/path