Add "GNU source-highlight not installed" to Source highlight button tooltip, if not...