[e12e]

Thank you - TIL about ssh key revocation (I was aware of them, but haven't really used them).

I expanded on your gist:

https://gist.github.com/e12e/0c1868479c0b8d0a52914d44be66d76...