This is all very strange.  The machines were either programmed to notify about under votes or they were not.  That is something that is totally auditable.

How?  I ail to see how anything is yet proven to the state of satisfaction required by a court of law.  We don't accept probably guilty or highly likely to be guilty.