Like everywhere, it was hotly debated, because people want each stakeholder group to feel as comfortable as possible with the definition of the name. For this kind of meeting, we don’t use pol.is.