I see on our Secure Gateway Server in the HTML5Gateway folder a config.ini file. I am wondering what we can do with the file. Are there some extra options that can be set in here? En what are they? I can't find nothing about this in the documentation. One of the reasons I'm asking this, is that I am looking for u possibilty to redirect the default url: "https://domain.abc.com/RASHTML5Gateway" to "https://domain.abc.com Our users and customers don't understand or can remember the full path. It's much easier to remember "https://domain.abc.com" Any ideas?