Add an option in the .mrbob.ini file which requests the URL of the gloss theme (this is useful since our themes are Gloss powered anyway.