Besides fixing some typos, I removed the part about the installation
problems, which sounded a bit scary (after all we provide installation
instructions that are supposed to work).