Here we get D(E) = D_{QCoh}(X) for X qc + qs
Move dga chapter later

Currently we use ringed sites and K-injectives. We should probably
move that out of the chapter and then move it earlier again.
Here we get D(E) = D_{QCoh}(X) for X qc + qs algebraic space

Great!