This page is classified as introductory. It is certainly way beyond that at this point. We need to break this into at least two pages.

(Later.) I have made an introductory page.