Lots of small tweaks to docs