Overwork the README file (see #6278)