new file:   tools/done-todo.pl