#1420 (Mar 16, 2021, 1:29:28 AM)

1. added lemma (detail / hgweb)
2. tuned signature; (detail / hgweb)
3. tuned signature (again); (detail / hgweb)

Started by an SCM change

This run spent:

• 39 min waiting;
• 1 hr 31 min build duration;
• 2 hr 11 min total from scheduled to completion.