New on CTAN: semproc