chore: traffic data 2026-05-20

Author: github-actions[bot]

traffic/stats-history.ndjson

@@ -31,3 +31,4 @@
 {"date": "2026-05-17", "stars": 414, "forks": 132, "watchers": 5, "open_issues": 0}
 {"date": "2026-05-18", "stars": 416, "forks": 133, "watchers": 5, "open_issues": 0}
 {"date": "2026-05-19", "stars": 416, "forks": 133, "watchers": 5, "open_issues": 0}
+{"date": "2026-05-20", "stars": 416, "forks": 134, "watchers": 5, "open_issues": 0}