Ok, so now we get all kinds of goodies on cotangent complexes for free

We can use the same simple types of arguments to show every works as
expected for morphisms of algebraic spaces (using small etale sites).