Prune .ssh/config