[galaxy-dev] Galaxy and HTTPS User-authentification