Update docs/Todo.txt.