New on CTAN: optidef