re-merge metrics #21

Merged
serrindipity merged 7 commits from metrics into main 2025-12-09 04:09:34 +00:00