The numbers, with the dataset attached

Market reporting on this server has been done by hand — one person scrolling a Discord channel, publishing totals with a disclaimer about miscounting. Watermelon72 does it from structured data instead. Publish a dataset once, and every figure, ranking, distribution and chart is generated from it. Ties stay ties, corrections re-render everything downstream, and any reader can open the raw tape.