CTAN update: eqexpl