New CTAN package: texdef