Killing TODO.txt since we have github issues.