bashrc: revise PS1 in light of Bash FAQ 053