So you'd advocate for github to remove any install script that users wget + curl, and any documentation references that instruct users to wget + curl? That's much worse than a handful of limited commands in which you're modifying your own user account.