FYI: simpleledger.info appears lagging behind a bit in some stats.
Total minted is not immediately reflected accurately, despite mint list showing latest entry (10th) and adding up to above.