Assorted tweaks to the docs.