Do we need this?  I was assuming it would be generated from the web_root/webinos.js file... or is it special?