interactive_display_finish 1132 src/help.c                 interactive_display_finish ();
interactive_display_finish 1180 src/help.c         interactive_display_finish ();