Remove defunct aliases for server names in favor of using ~/.ssh/config. Increase .bash_history size to 10,000.