Ontology editor: more precise help message
Ontology tool: simplify icon