clarifying first paragraph, renaming lemma into section and writing a bit about the content of the plugin section