New Jepsen release: 0.2.3. Super small, just a few bugfixes and performance improvements. Enjoy! https://github.com/jepsen-io/jepsen/releases/tag/0.2.3