- # restore the former title.
-#no restore_terminal_title
-echo "showing prior terminal title since there was a prior title!"
+ # use the former title; paste it back up there just in case.
+#echo "showing prior terminal title since there was a prior title!"