CTAN update: highlight