Show Lean's measured impact as a compact scoreboard: less code, more speed, from the benchmark medians. One-shot display, not a persistent mode, and not a per-repo number. Trigger: /lean-gain, "lean gain", "what does lean save", "show lean impact", "lean scoreboard".
