There are several situations where $ exit and $ logout were typed by the shell and not the user, who must specifically say "I did not type that, some magic hand did" when sharing shell transcripts with other people.
So perhaps those messages should have a "bash:" prepended or something to distinguish them.
