update docs/Todo.txt