En revanche, personnellement, je n'ai pas l'énergie de faire la même
chose pour highlight.js.
Je comprends. Mais n'y a-t-il pas moyen, dans Discourse, de s'appuyer
sur `Pygments` plutôt que sur `highlight.js` ?
Non, pas vraiment. Discourse fait la coloration syntaxique côté client, càd. dans le navigateur de l'utilisateur (en tous cas c'est ce que je devine puisque highlight.js est une bibliothèque _javascript_, le langage que comprennent les navigateurs, alors que la partie serveur de Discourse est écrite en Ruby). Pygments est une bibliothèque Python. Pour la faire tourner dans un navigateur, il faudrait déjà la transpiler vers WebAssembly (ce qui se fait, cf.
https://pygments.org/demo/ , mais c'est assez compliqué), et en plus écrire un plugin Discourse qui fasse le lien. Ce serait beaucoup plus de travail que d'écrire ça en highlight.js directement.