Re: [Galaxy-user] other "random" problems