Assorted improvements to README