In ssh-server aliases, Dobzhansky servers are now called as they are: dcdell and supermicro (no more ssh-server-dobby)
Server TMUX colors.