Shorten long division titles on summary page. Fixes #84