.bash_profile: Modify and move plenv setting lines.