New on CTAN: endofproofwd