#702 (Aug 4, 2018, 12:50:10 AM)

1. tuned output; (detail / hgweb)
2. tuned signature -- removed somewhat pointless operation; (detail / hgweb)
3. more operations; (detail / hgweb)
4. more operations (as in ML); (detail / hgweb)
5. more explicit entity kind; (detail / hgweb)
6. Pure theory content; (detail / hgweb)

Started by an SCM change

This run spent:

• 9.4 sec waiting;
• 1 hr 13 min build duration;
• 1 hr 13 min total from scheduled to completion.