Updated sr alias for servers with shared public ssh keys