.bashrc: changed top comments to ones providing instruction on including in one's existing .bashrc file