User blog comment:ZeoSpark/Dave or Mike?/@comment-2091662-20140722123051

I really don't like either, but Dave is better.