More elaboration and formatting edits to README