Hi Lexer,
There's not a way built-in to do this. One could download all of the files with their hashed names, grab the data stored in the mp_sharedfiles table and then write a script to rename all of the hashed-named files with the corresponding name from the table.
I have added a feature request for this to our github project.
Thanks,
Joe