documentation updates; test suite updates to reduce extraneous diff output; don't export BASHOPTS into running tests

shell.c

@@ -990,10 +990,7 @@ exit_shell (int s)
   /* Clean up the terminal if we are in a state where it's been modified. */
 #if defined (READLINE)
   if (bash_readline_initialized && RL_ISSTATE (RL_STATE_TERMPREPPED) && rl_deprep_term_function)
-{
-itrace("exit_shell: calling rl_deprep_term_function");
     (*rl_deprep_term_function) ();
-}
 #endif
   if (read_tty_modified ())
     read_tty_cleanup ();