Hi there! I am trying to download the files from a history from the Galaxy main. I go to "History Options" and hit "Export history to file". There used to appear a message saying that the history is being downloaded, but now it does not appear. Is there any other way to monitor if the files are being exported?