User blog comment:ZeoSpark/Dave or Mike?/@comment-30895873-20171006101930

Why are we comparing two completely different things? Anyways, Dave is seriously better than Mike, like seriously.