Update TODO.txt to match the status after the previous commit