reddit 87

Numbers in the statistics file are now comma-broken.