Dox

Several documentation updates (no need to review)