Doc tweaks, more code examples, formatting fixes.