More refinement of docs/README