... as arising from #10459, currently nomenclature entries are exported to plain-text as a wonderful "[LaTeX Command: nomenclature]", regardless of what entry is being defined and its description. Would it make sense to change that to something else? Any proposal?
Thanks,
T.
