Re: [galaxy-dev] Refresh of screens in Galaxy Docker environment