Add introduction section, tweak some other bits