Does that highlighted statement mean that when i click "New session" on the right side would the terminal type the command "source ~/.bash_profile" implicitly? because the highlighted part says that "it will load the contents of the bash profile before executing commands". but when i try it it doesnt seem to work. i have to type the "source ~/.bash_profile by myself. is this a bug?