Added some more stuff to docs/todo.txt