Documenting the TodoList example