Various fixes to the intro section.
Grammatical errors fixed, as well as some word choice issues. Some
sentences were rewritten since they either read as too informal or
not as neutral as they should. Some sentences were also too complex
and thus reworded.