Edits to the intro, adding some explanatory links and tweaks to make the English more idiomatic.