Highlights off by default as requested by Yannis.