https://wiki.galaxyproject.org/Admin/DataLibraries/UploadingLibraryFiles told us how to upload a file from the server filesystem path of Galaxy. BTW, how to do the opposite operations? I wanna download file to Galaxy server by itself, not my remote laptop.