A few more minor touch-ups to README. [doc]