Round the nav's community counts, exact count on hover

[kixelated]

• GitHub stars and Discord members now read 1.5k stars instead of 1,538 stars.
• The link's hover title carries the exact count: 1,538 GitHub stars.

Same change on moq.pro and doc.moq.dev.

🤖 Generated with Claude Code

(written by Opus 5.5)

[chatgpt-codex-connector]

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review	Status	Commit	Review trigger
📝 Code Review	✅ Completed 2026-09-23T20:23:31.083071Z	3b1d034	PR opened

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

• Open a pull request for review
• Mark a draft as ready
• Comment "@codex review" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.

[coderabbitai]

Navigate logical layers of code changes, visualize relationships, and explore their blast radius.

No actionable comments were generated in the recent review. 🎉

ℹ️ Recent review info

⚙️ Run configuration

Configuration used: Organization UI

Review profile: CHILL

Plan: Advanced

Run ID: dbe8d814-70f2-417f-88ec-b56808732cd1

📥 Commits

Reviewing files that changed from the base of the PR and between f2857f1 and 3b1d034.

📒 Files selected for processing (1)

• src/stats.ts

Included review availability: Your plan provides up to 1 included review per hour; 0 remain after this review.

---

Walkthrough

renderStats displays numeric counts in English compact notation with at most one fractional digit. For each numeric value, it sets the closest enclosing link’s title to the exact localized count and the corresponding GitHub stars or Discord members label. Missing values leave elements unchanged.

Merge Risk: ⚪ Minimal · up to 3b1d0

Navigation counts are more compact, with exact totals available in link titles. The supplied context establishes no actionable merge risk.

🚥 Pre-merge checks | ✅ 4 | ❌ 1

❌ Failed checks (1 warning)

Check name	Status	Explanation	Resolution
Docstring Coverage	⚠️ Warning	Docstring coverage is 50.00% which is insufficient. The required threshold is 80.00%. Docstring coverage is scoped to functions touched by this diff. Analyzed 2 functions across 1 files.	Write docstrings for the functions missing them to satisfy the coverage threshold.

✅ Passed checks (4 passed)

Check name	Status	Explanation
Description check	✅ Passed	The description accurately explains the rounded GitHub star and Discord member counts and the exact hover title. It also identifies the affected sites.
Title check	✅ Passed	The title clearly summarizes the main change: rounded navigation community counts with exact counts on hover.
Linked Issues check	✅ Passed	Check skipped because no linked issues were found for this pull request.
Out of Scope Changes check	✅ Passed	Check skipped because no linked issues were found for this pull request.

• Fix all pre-merge checks with AI

✨ Finishing Touches

✨ Simplify code

• Commit to this branch
• Create a new PR

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands.}

[kixelated]

Merging. renderStats now shows compact counts ("1.5k stars") and titles the surrounding link with the exact count ("1,538 GitHub stars").

Reviews: Codex had no findings and CodeRabbit had no actionable comments. I skipped CodeRabbit's docstring-coverage warning because renderStats already has a comment and round is a one-line helper. CI is green.

(written by Opus 5.5)