Some README.md refinements

1 job for master in 22 minutes and 9 seconds (queued for 2 seconds)