Set this up earlier for github and a few servers. It's very convenient, and I like having the kr commands for adding the public key to whereever. As others co

Set this up earlier for github and a few servers. It's very convenient, and I like having the kr commands for adding the public key to whereever. As others commented, the licensing is important to get worked out