Notes
All schemes considered will be locally Noetherian, and the base scheme will usually be assumed to be connected. There are obvious generalizations to the non-connected cases.
We will occasionally use certain technical results about fpqc descent, which are stated as necessary in the main text and proved (somewhat) in the appendix. They are not difficult to prove, but the reader is encouraged not to read the appendix, because they are boring.
There are no in-text citations. The main references are [1] and [2].