The issue:
When you rename a file (or multiple files) and download it, the system would always download the file using the original file name.
This issue has now been fixed! Please let us know in the chat if you're still facing it.