More documentation updates, and minor fixes to make things sync