CTAN update: Finomaton