Per supportare evidenziazione HTML personalizzata e opzioni globali highlightjs configurabili, sembrano necessarie alcune API di plugin aggiuntive.
Questa PR è benvenuta? Ho già fatto del lavoro nel mio fork del repository
Mi sembra buono, per favore invia una PR.