Fix #378: CaretReferenceHighlightRenderer cannot be turned off.