Organizing the TODO list.
Fixed some really simple ones (doc, loose ends from previous bug fixes,
duplicate TODOs) and updated several priorities.