Merge remote-tracking branch 'origin/dev' into dev

Author: profvjreddi

site/about/contributors.json

@@ -1,10 +1,10 @@
 {
-  "generated": "2026-08-27T00:30:25.493553+00:00",
+  "generated": "2026-08-27T06:37:12.615825+00:00",
   "repo": "harvard-edge/cs249r_book",
   "stats": {
-    "forks": 3535,
+    "forks": 3536,
     "issues": 27,
-    "stars": 28010,
+    "stars": 28021,
     "watchers": 220
   },
   "total": 103,
@@ -13,7 +13,7 @@
       "login": "profvjreddi",
       "name": "Vijay Janapa Reddi",
       "avatar_url": "https://avatars.githubusercontent.com/u/6807956?v=4",
-      "contributions": 16889,
+      "contributions": 16936,
       "html_url": "https://github.com/profvjreddi"
     },
     {