Move a section

Want to use Koszul complexes in the section on formal glueing
Formal glueing of derived complete modules

Derived complete things seem to be exactly the things that make this
argument work. Cool!