Re: [galaxy-dev] Galaxy and HTTPS User-authentification