More work on `README.md`

[none]