Yes, that file is part of the Arduino Web Editor plugin.
I'm not sure why you're so freaked out by this file. When you install a program there will usually be some executable files. It's good to be cautious but this is not a 14 exclamation point situation.