Fully agreed.

The key thing with closed Vs. open source isn't simply the ability to find defects (design & bugs), but also right now election officials/security experts in some cases aren't allowed to verify election software per the software licenses! That's an untenable position to be in.

Open source isn't some panacea, but it puts you into that position where "verify" is even conceptually possible. I still believe we need paper backups and random audits, but we can do multiple things at once and should.