For me, the export references button does not show any visible effect in the GUI. I also checked the working directory from which I started MAGEMIN, but I could not find the file there either. I accidentally discovered that the directory where the file is stored is printed on the terminal. It would be beneficial to display this information in the GUI as well—perhaps by opening the saved file in the browser (optionally) as a pop-up or in a new tab.
For me, the export references button does not show any visible effect in the GUI. I also checked the working directory from which I started MAGEMIN, but I could not find the file there either. I accidentally discovered that the directory where the file is stored is printed on the terminal. It would be beneficial to display this information in the GUI as well—perhaps by opening the saved file in the browser (optionally) as a pop-up or in a new tab.