switch todo.pl to use Ian's main repository