#2127 (Feb 16, 2024, 12:50:07 AM)

1. tuned whitespace; (detail / hgweb)
2. prefer static object, while class is required for "services" (see 47eb96592aa2); (detail / hgweb)
3. clarified directories;
   clarified names; (detail / hgweb)
4. tuned signature; (detail / hgweb)
5. tuned: prefer explicit update operation for immutable options; (detail / hgweb)
6. tuned message; (detail / hgweb)
7. more robust type, with explicit default; (detail / hgweb)
8. tuned usage message; (detail / hgweb)
9. clarified signature; (detail / hgweb)
10. more robust defaults; (detail / hgweb)
11. merged (detail / hgweb)
12. added lemmas relpow_trans[trans] and relpowp_trans[trans] (detail / hgweb)
13. more on disjunctive addition/subtraction (detail / hgweb)

Started by an SCM change

This run spent:

• 5.8 sec waiting;
• 2 hr 1 min build duration;
• 2 hr 1 min total from scheduled to completion.