Updated ToDoList to match reality

Haven't looked at this in months, and there are lots of things that got
done in the meantime.