#894 (May 11, 2017, 5:31:00 PM)

1. more documentation; refactor proof to make approach more visible (detail / hgweb)

Started by an SCM change

This run spent:

• 5.2 sec waiting;
• 8 min 17 sec build duration;
• 8 min 22 sec total from scheduled to completion.