#1528 (Mar 16, 2018, 11:01:09 PM)

1. prefer typed UUID; (detail / hgweb)
2. unload_theories after consolidation -- reset node_required;
   proper node_perspective (amending 0d8e4e777973); (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 4 sec waiting;
• 49 min build duration;
• 54 min total from scheduled to completion.