bugfixes, e.g. better handling of segfaults on crashes, faster cleanup on interrupted distributed sessions