Misc. formatting updates. Wrote the intro.