See this topic instead for the results of the election. That’s settled:
Nope, it was “user error” in configuring the election at the start. It was always intended that there would be exactly 4 winners, as was announced all along in various places, but the “number of winners” box in the voting service election setup UI was left blank by mistake.