File under the heading: it doesn’t matter who Democrats run