Read that /. posting too... Makes sense to me; if anyone/anything throws doubt on the machine count, one could use humans to read the humanreadable part and base the count on that. Slower, but hopefully checked for correctness by the voter (if not, tough luck...)