Facts of users' SSH public keys