Debian uses a single transferable voting method, in which developers
rank their preferences. Presumably your votes would be 1243 (in order
of ballot position).
That avoids the problem I was worried about.
I'm sorry to have brought up an unnecessary tangent.