Simple userscript for better EDUX file downloading experience