CTAN update: SemanTeX