Is there a way to manage users' ssh public keys via the operating-system
configuration?