automation: add link to discussion of .bashrc vs .bash_profile

 - still have Mac users edit .bash_profile rather than .bashrc,
   but point to the discussion of .bashrc vs .bash_profile (which also
   mentions the unique behavior on Macs).