Does anyone use ptx- as an id/label prefix?

[Andrew Scholer]

Does anyone out there use ptx- as a convention for their xml:ids or labels? Or have you seen someone who does?

The HTML build can run into issues if an authored label or xml:id conflicts with the id of an HTML element produced by PreTeXt for components it adds (e.g. ToC).

Rob added a check for this that uses a large list of known ids. Many of those look like "ptx-toc". Rather than explicitly list them, it would be easier and less error prone to consider any identifier that starts with "ptx-" as reserved for PreTeXt use.

The only hitch would be if anyone out there has developed their own naming scheme that prefixes identifiers with "ptx-". So, do we know of anyone that does that?

Andrew