#1358 (Jan 24, 2018, 3:47:09 PM)

1. renamed "maxx" to "max_x" and "maxy" to "max_y" (detail / hgweb)
2. merged (detail / hgweb)
3. simplified "inc" and tuned proofs (detail / hgweb)
4. merged (detail / hgweb)
5. move construction of "u" outside of "hlde" locale; tuned proof (detail / hgweb)

Started by an SCM change

This run spent:

• 5.8 sec waiting;
• 4 min 7 sec build duration;
• 4 min 13 sec total from scheduled to completion.