Misc chrome polish: header badges, plan sidebar, diff panel, empty state (#3027)

Co-authored-by: codex <codex@users.noreply.github.com>
343061a053Julius Marminge committed on 6/10/2026, 7:25:03 PM· committed by GitHubparent0b40ea6
13 files changedLine totals unavailable