Hello, I have two small questions regarding galaxy server configuration: 1. The Galaxy Cookie. Sometimes I see a fixed 'galaxysession' cookie, and other times I see a cookie with the name set in 'universe_wsgi.ini' as the "session_key". I'm not sure when is each one used. What I'd like to do is run two galaxy servers on the server - I don't want to cookies to interfere with one another. (could it have something with using or not using external authentication?) 2. setting path of Galaxy's file: There's the big 'database' directory. Inside it, there are: files, import, pbs, job_working_directory, beaker_sessions, tmp, compiled_templates. Some of those are changeable from the universe_wsgi.ini, (e.g. files, tmp, beaker_sessions) but others are not ( job_working_directory, compiled_templates). Is there a way to change those path ? I'd like to have the galaxy source code in a completely read-only location, and all of the runtime files in "/var/galaxy". However, one the 'galaxy' base directory is read only, I get several 'permission denied' exceptions when I try to use the galaxy server. Thanks, Gordon.