Update HelloWorld3.js

See what happens to file type if edited on GH