Did we? But my concern is with uninstallation:

"curl -sL https://... | sudo bash"

Now you won't be able to uninstall it if the repo ever goes black...