Tag all <dfn>s with what type of term they're deffining. Handle value definitions separately from terms.
Add a few linebreaks in the auto-genned elements, so diff will be more accurate and have less churn.