The derived completion stuff can and cannot be found everywhere.
Add a section collecting results of
e2d6d04a89c87ff4f5cc63b9602782810074f3ed
Remove names of lemmas having references

These are too hard to parse for the website
Typos

Thanks to Pieter Belmans
http://stacks.math.columbia.edu/tag/091Q#comment-229
http://stacks.math.columbia.edu/tag/091X#comment-230
http://stacks.math.columbia.edu/tag/02JA#comment-231
Tags: Added new tags