As an retired system guy, it doesn’t matter if they found a “coding” problem. None of the results can be trusted. How do they know there are not other serious coding problems? The only solution is to manually audit every vote and compare it to the reported results.
“The only solution is to manually audit every vote and compare it to the reported results.”
Agreed.