Open
Description
Discussed with @oscarlevin in person.
PreTeXt categorazation/identification (e.g. PTX:ERROR
) are being lost in their trip to the CLI. Also, the CLI could better identify the messages they are generating.
This will make it much easier to triage reports to support forums.