the extended stats definitions. It might be worth differentiating between "RELATION STATISTICS DATA" and "ATTRIBUTE STATISTICS DATA" but I'm not sure if there's value in that.
I have no objection to such a change, even if we don't currently have a use for the differentiation, someone in the future might.
But how did you determine what to use for the .tag and prefix? In the output, it uses the form:
It was the minimal change needed to meet Tomas's suggestion.
Statistics for Name: ...; Name: ...; Type: STATISTICS DATA; ...
I like this one best, because it clarifies the meaning of STATISTICS DATA.
