Re: [galaxy-dev] Integrating Galaxy into our Kerberos auth