> There are a whole bunch of people who claim copyright on those files; their
> names are listed in the files' headers. I'll note that when I requested
> copyright assignment, I alerted the clerk that I was using these libraries.
> The plugin doesn't work without them.
Does context-coloring not work at all without those files, or does it
work just fine for some modes but not for others (presumably not for
javascript mode)?
> I could probably externalize those files into an "npm" package and instruct
> users to install a separate executable to run the JavaScript portion of the
> plugin. But I'd much rather just include them in the package, because then
> it "works out-of-the-box".
Can you give me some background about where those files come from?
Have they been written specifically for context-coloring or are they
taken from some other project?
> As for ert-async, what would be our course of action if he does not agree?
While it's of course possible, it seems highly unlikely, so I wouldn't
worry about it until that happens.
Stefan