gjm comments on An easier(?) end to the electoral college