A spreadsheet on display when votes for Arlington County Board were tabulated on Friday, June 23, 2023 (staff photo by Jay Westcott)