[Fix #698] Provide an interactive command for clearing compilation highlights