Miscellaneous improvements to README