CTAN update: exsol