//TODO: test with normal theme, e.g. GitHub dark. Jai language definition for highlight.js, as used in Discord etc. Simply load the module after loading Highlight.js ...