Live leaderboard

Who holds which tag, and for how long.

No tags yet. An admin can seed the tag set from scripts/generate-tags.mjs.