#543 (Jan 31, 2018, 1:28:05 AM)

1. clarified breakgain: keeping it constant avoids margin fluctuation in Pretty_Tooltip vs. Pretty_Text_Area; (detail / hgweb)
2. clarified lines: like split_lines; (detail / hgweb)
3. tuned; (detail / hgweb)
4. unused; (detail / hgweb)
5. tuned; (detail / hgweb)
6. simplified: prod_count is always NONE; (detail / hgweb)
7. tuned; (detail / hgweb)
8. tuned data structure and operations; (detail / hgweb)
9. tuned data structure and operations; (detail / hgweb)
10. tuned data structure and operations; (detail / hgweb)
11. more operations; (detail / hgweb)
12. prefer specific tokens_subtract: subtle change of comparison via tokens_match; (detail / hgweb)
13. tuned type: absorb NONE: token option as token_none: token; (detail / hgweb)
14. tuned; (detail / hgweb)
15. clarified types and operations: potentially more efficient add_prods;
    tuned data structure; (detail / hgweb)
16. clarified modules;
    tuned; (detail / hgweb)
17. tuned: more explicit types; (detail / hgweb)

Started by an SCM change

This run spent:

• 38 min waiting;
• 1 hr 14 min build duration;
• 1 hr 52 min total from scheduled to completion.