used sphinx delinter to make various minor fixes to anchor links, glossary term references, headings, etc.

should have effectively no impact on user-facing docs