Editorial changes to the Introduction to better reflect the current state of the document.