revert to usage of JavaScript file for configuration

unfortunately, same server origin policies prevent usage of JSON file for configuration purposes. (in combination with the "config" URL parameter that may point to an arbitrary HTTP server)