These numbers are drawn by a small script from data/stats.json, which is public and readable without it.