options:xml:permanent-smart-highlight