Stats: update stats/pr-stats.md as of 2025-10-16 22:40:32 UTC

Author: GitHub Action

stats/pr-stats.md

@@ -1,6 +1,6 @@
 # Open and merged PRs by task labels
 
-_as of 2025-10-15T22:40:42.619Z UTC_
+_as of 2025-10-16T22:40:29.673Z UTC_
 
 PR reference legend:
  - #xxx o -- PR is yet open