SSH key mismanagement and how to solve it