we now have a long user manual page describing many (but not all) of
our stats.