CTAN update: didec