Coqide 8.5: sin resaltado de sintaxis en Linux

Instalé Coqide 8.5 w /nix. Desafortunadamente, el texto es blakc en todos los paneles; no hay resaltado de sintaxis de ningún tipo (de lo contrario, 8.5 parece una gran mejora con respecto a 8.4, que también he instalado). También obtengo lo ...