About dev_mint

A package description - coming soon from Fishum!