Are they easier to manage if you have a few hundred SSH keys?