Fix: Highlighter was not remembered after IITC restart