scripts/smc_rethink: rewrite_stats function changes older stats documents to the newer notation
scripts/smc_rethink: rewrite_stats function changes older stats documents to the newer notation

DrXyzzy/smc,tscholl2/smc,sagemathinc/smc,DrXyzzy/smc,tscholl2/smc,tscholl2/smc,tscholl2/smc,DrXyzzy/smc,DrXyzzy/smc,sagemathinc/smc,sagemathinc/smc,tscholl2/smc,sagemathinc/smc