[galaxy-dev] galaxy server configuration questions