New on CTAN: codehigh