Atualmente, não há como um usuário selecionar um tema do Highlight.js. Isso resulta em discussões sobre qual tema deve ser configurado para o site (usando o componente seletor de temas) — alguns preferem o claro, outros o escuro, etc.
Até mesmo a possibilidade de definir temas claros e escuros para todo o site já seria uma melhoria.
Além disso, a versão do Highlight.js está desatualizada, o que significa que estamos perdendo uma grande quantidade de temas adicionais.