CTAN update: mandi