chore(metrics): update usage metrics (2025-12-01) (#3506)

Co-authored-by: github-actions[bot] <github-actions[bot]@users.noreply.github.com>

Author: github-actions[bot]

docs/usage-metrics.csv

@@ -756,3 +756,35 @@ date,version,count
 2025-11-01,v0.38.0,656
 2025-11-01,v0.39.0,544
 2025-11-01,v0.40.0,240
+2025-12-01,v0.13.0,112
+2025-12-01,v0.14.0,26
+2025-12-01,v0.15.0,82
+2025-12-01,v0.16.0,10
+2025-12-01,v0.17.0,49
+2025-12-01,v0.18.0,37
+2025-12-01,v0.19.0,55
+2025-12-01,v0.20.0,0
+2025-12-01,v0.20.1,54
+2025-12-01,v0.21.0,32
+2025-12-01,v0.22.0,28
+2025-12-01,v0.23.0,150
+2025-12-01,v0.24.0,1
+2025-12-01,v0.24.1,18
+2025-12-01,v0.25.0,61
+2025-12-01,v0.26.0,144
+2025-12-01,v0.27.0,128
+2025-12-01,v0.28.0,150
+2025-12-01,v0.29.0,0
+2025-12-01,v0.29.1,104
+2025-12-01,v0.30.0,161
+2025-12-01,v0.31.0,318
+2025-12-01,v0.32.0,195
+2025-12-01,v0.33.0,389
+2025-12-01,v0.34.0,338
+2025-12-01,v0.34.1,5
+2025-12-01,v0.35.0,526
+2025-12-01,v0.36.0,156
+2025-12-01,v0.37.0,740
+2025-12-01,v0.38.0,628
+2025-12-01,v0.39.0,492
+2025-12-01,v0.40.0,644