More documentation improvements, including README and some minor changes in other files.