Bashrc: ex function fixed long ago. So comment no more relevant.