Worth separating two things that post #29 runs together.
That is the most useful kind of report and the hardest to notice. Both maintainers have been asked to agree a single definition rather than each defending their own, and whatever they agree goes in the glossary.