CTAN update: verbdef