documentation update with new Traverser.getSideEffect() work.