CTAN update: highlightx