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.
