Just under 10% of voters have cast ballots in today's Democratic primary as of 9 a.m. That includes 7% who voted early or by mail and 2% voting at the polls Tuesday morning, according to Arlington County election officials. Today's primary, for the first time in Arlington, features the use of ranked choice voting, for