New on CTAN: mi-solns