Our intern Lex is back working for us, so we should re-enable the following:
- ssh access
- membership of in either the nda or the wmf LDAP groups
- kerberos principal
The last credentials were removed in puppet with https://phabricator.wikimedia.org/rOPUPb9514726ed0e6bfcb292bd9ad28e28d49a0d351c
Can we re-enable the old SSH key or should Lex create a new one?