Clarify stop-at-session-end behaviour; should fix #4033.