This dashboard needs JavaScript. The same numbers are in
data/report.md
and
data/report.json
.