Fix setup explanations in the README, for good this time.
(sorry for all the commits, I was doing post-push checking on github)