This would essentially mean rewriting a significant part of the *Event sourcing* section, creating a new, smaller example in order to explain important properties such as atomicity guarantees, processing order etc. At the moment, these things are explained in the user docs based on the activator example. Do you really think it is worth the rewriting effort or is the current "solution" good enough?