My "ragging" is appropriate here because Jepsen is both the name of a reputable database testing group and the test suite. A lot of people do drive-by HN, witho

My "ragging" is appropriate here because Jepsen is both the name of a reputable database testing group and the test suite. A lot of people do drive-by HN, without reading the specific submission too closely, and having an accurate title is important. The new title edited in is much better than the original was.