Wow, TIL "JavaScript" is a trademark. I'm sure it's unenforceable now due to the term becoming ubiquituous.