Update TODO list for more recent thinking.