Made a small change to remove the inline icon. I think the text looks cleaner this way. Still not sure if this page should link to a Protege icons page.