#440 (Sep 14, 2016, 10:27:06 PM)

1. merged (detail / hgweb)
2. NEWS; (detail / hgweb)
3. handle font-size events; (detail / hgweb)
4. clarified GUI representation of replacement texts with zero or more abbrevs; (detail / hgweb)
5. handle update events;
   tuned; (detail / hgweb)
6. discontinued global etc/abbrevs; (detail / hgweb)
7. added abbrevs panel; (detail / hgweb)
8. tuned; (detail / hgweb)
9. more robust; (detail / hgweb)
10. maintain abbrevs in canonical reverse order; (detail / hgweb)
11. tuned; (detail / hgweb)
12. tuned; (detail / hgweb)
13. ignore default output directory of 'build_stats' tool (detail / hgweb)

Started by an SCM change