bashrc: 9term does not support color
ssh: remove dead servers
ssh: hosts: remove dead servers
ssh: hosts (update panther's IP)