Google seems to resolve several different things as "terminal.js" - which do you mean?

Or, a shorter answer to your question: no. :)