Multiple minor documentation updates, and some additional <todo>s.