chore: traffic data 2026-05-09

Author: github-actions[bot]

traffic/stats-history.ndjson

@@ -20,3 +20,4 @@
 {"date": "2026-05-06", "stars": 405, "forks": 128, "watchers": 5, "open_issues": 5}
 {"date": "2026-05-07", "stars": 406, "forks": 129, "watchers": 5, "open_issues": 2}
 {"date": "2026-05-08", "stars": 407, "forks": 129, "watchers": 5, "open_issues": 14}
+{"date": "2026-05-09", "stars": 407, "forks": 129, "watchers": 5, "open_issues": 2}