Deeper reworking of the README