More documentation additions, almost up to snuff