rm doc/TODO.txt