Intro docs cleanup

See the individual commit messages. Note that these now refer to the `INSTALL` doc, which is still being played with on the wiki.