chore: traffic data 2026-07-20

Author: github-actions[bot]

traffic/stats-history.ndjson

@@ -92,3 +92,4 @@
 {"date": "2026-07-17", "stars": 423, "forks": 134, "watchers": 5, "open_issues": 3}
 {"date": "2026-07-18", "stars": 424, "forks": 134, "watchers": 5, "open_issues": 3}
 {"date": "2026-07-19", "stars": 413, "forks": 131, "watchers": 5, "open_issues": 3}
+{"date": "2026-07-20", "stars": 413, "forks": 131, "watchers": 5, "open_issues": 3}