Remove a few things from TODO.txt — things that have been done.