This write-up is really long, which makes it intimidating, and hard to scan through for particular pieces of information. It would probably be a lot more readable if we cut it into multiple pages, with the "main" README having lots of links into those pages.