steps to get to generating glossary automatically

[tshepang]

• Remove section and paragraph ids from glossary (remove needless ids (from glossary) #681)
  note: this could come later, but I wanted to see if it could easily be done (then went ahead and doned it)
• Ensure main text has all glossary terms
• Ensure main text defines all glossary terms
• Ensure the duplicate definitions that are in both glossary and main text have matching text
  • If text does not match, choose one that is more accurate
• Ensure :dt: entries are in main text and that there are none in glossary
  • This will mean clicking on the term in a glossary will take one to the main text
• Remove the "See SomeTerm" paragraphs in the glossary, because above step makes them redundant
• Generate the glossary from reading all :dt: entries from main text, and ensure it matches the old glossary

Originally posted by @tshepang in #656 (comment)

[PLeVasseur]

Nice, good to see this happening! I left a comment over on the PR.

[kirtchev-adacore]

Note: the proposed work plan will need to handle #682.