Re: [galaxy-dev] Patch: show User menu's history and dataset options show independent of app.config.use_remote_user setting