Per qualche motivo a me sconosciuto, abbiamo impostato l’opzione default code lang su text… di default è auto. Inoltre, per un altro motivo a me sconosciuto, non abbiamo HTML nell’elenco delle lingue evidenziate. Impostare il formato su XML funziona comunque.