Repository navigation
This patch release improves the corpus adopt and body checks. The body check now ignores wiki link marks inside math spans (#577). Corpus adopt now holds case headings, field terms, proof names and more part headings (#578), strips a leading "The" from display names (#580), and holds glossary usage notes and head nouns (#581).