TODO note.
Update badges in README.
Minor edits to the README.