Cosmetic improvements. Checkbox for seeing only unresolved terms.