More changes to shorten the main README