Revised .bashrc: editors, comments, etc.