Tickets #3319 and #3386. Doc commits for version history.
documentation, including of new knob GRACEFULLY_REMOVE_JOBS, and proper
version history items on correct branch of manual.
===GT=== #3470
Merge branch 'V7_9_4-branch'