mincdump and micaverage doctests, tidyup.