As the Miami-Dade County election results trickle in, I noticed an interesting feature to the software used to display them on the website: if you click on Precincts Reporting, it will neatly give …