bashrc: add alias `ricky` for sshing into ricky