WIP #9: Rewrite manual's "Introduction" and "Getting Started"

Also list contributors from git -log, not the ChangeLog files, though
many authors are missing and others duplicate.