That's what I was thinking.. Found the JS file, Googled for AddTerminalShell to no avail. Didn't know if anyone else could recognize it or if it was custom.

Thanks for the help, though!