CTAN update: prettytok