[stand-in] highlight.js custom plugin
When searching for other occurrences of this plug-in I found it in tei-publisher. So changes in response to my original question on github should be reflected here as well.
When searching for other occurrences of this plug-in I found it in tei-publisher. So changes in response to my original question on github should be reflected here as well.