Use an accurate browser name in `hello.js`