>they went to far,
*too
It needs to be "open source" so that everyone can look at the code and evaluate it.
Still there would be no guarantees that the code that's looked at is actually the same code running on the machines.
Not only do they need an auditable paper trail, but they need to give each voter a printed receipt of the votes that they cast.