I think it is important that it was a female judge who helpfully asked if a color-coded ballot was what the lawyer thought would work.
Perhaps that was used in the past in a legitimate ballot correction, but I'm worried a bit regarding this.