Certain extensions can be used to patch JavaScript code into compiled output. I'm wondering whether they are allowed in situations such as connectivity to WebSockets and high-performance areas of code. I personally think they should be allowed as long as they aren't used too much, just in areas like what I mentioned before.