On 6/5/23 11:10:03, Charles Mills wrote:
... XML ...
Ah! The language name I was looking for. Thanks. Now, GIYF, the jargon seems to be "plugin" in place of "macro". And, for self-reference, there appears to be a plugin, presumably coded in XML, to format XML code. -- Thanks again, gil
