How these numbers are produced
Each vote is stored as its own record keyed by an anonymous voter identifier, so a repeated vote replaces that voter's record instead of adding a second one. The totals below are counted from those records on every page load. The comment icon next to a tool opens the comments left with its votes.