[READ ONLY] Herbie-Plugin Syntax Highlighter. This is a subtree split of the "plugins" repo.