#1818 (Nov 14, 2022, 1:15:04 AM)

1. tuned output; (detail / hgweb)
2. prefer sorted result; (detail / hgweb)
3. separate style for re-use; (detail / hgweb)
4. ML support for the Prism.js syntax highlighter -- via Isabelle/Scala; (detail / hgweb)
5. retain data structures more accurately;
   tuned signature; (detail / hgweb)

Started by an SCM change

This run spent:

• 25 min waiting;
• 1 hr 51 min build duration;
• 2 hr 16 min total from scheduled to completion.