Aus einem mir unbekannten Grund ist die Einstellung default code lang auf text gesetzt… standardmäßig wäre sie auto. Außerdem steht HTML aus einem weiteren mir unbekannten Grund nicht in der Liste der hervorgehobenen Sprachen. Das Setzen des Formats auf XML funktioniert dennoch.