Highlight all repeated defined terms in the same paragraph. Closes #19