[14:00] <legoktm> bawolff: oh, would it be possible to add a total count of file sizes to https://commons.wikimedia.org/wiki/Special:MediaStatistics ?
Ideally we would have totals for each individual media section, and then an overall total of all files.