#649 (Dec 26, 2016, 8:13:06 PM)

1. more uniform treatment of file name vs. theory name and special header; (detail / hgweb)
2. clarified document: no stored text; (detail / hgweb)
3. clarified header text; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 3 sec waiting;
• 55 min build duration;
• 1 hr 0 min total from scheduled to completion.