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