@deno_land @zufrieden Out of curiosity, do they own the trademark to JS? Idea: Why don’t we just drop using the term JavaScript altogether and go with JS. HTML, CSS, and JS. What does JS stand for? Nothing. It’s the name of the language.
That said, hope they lose the trademark. Couldn’t happen to nicer people.