Rules statistics in tex

[vzaliva]

Generated tex file contains:

Definition rules: 78 good 0 bad
Definition rule clauses: 237 good 0 bad

And I do not see a way to remove these lines.
I believed this output is emitted by pp_counts:

ott/src/defns.ml

Line 1338 in fc38245

let pp_counts sd =

[davidjak536-commits]

Statistics play a vital role in simplifying complex data into meaningful insights, and when paired with TeX, the results become even more powerful. TeX is widely recognized for its precision in typesetting, making it a preferred tool for presenting mathematical formulas, research papers, and statistical reports with professional clarity. Whether you are analyzing data, preparing academic content, or publishing scientific work, TeX ensures accuracy and elegance in presentation. By integrating statistics with TeX, researchers and professionals can produce documents that not only convey information effectively but also maintain a polished and highly readable format.