Changing the name of the downloaded file and grouping them

Hello,
I want to export the posts in batch as it is now but I need to include the category name in the filename. Where can I find the script that builds the filename for the batch download?
Thanks!

@demoniodojo

I am afraid currently we can not append the category name in the filename. However, we have logged a ticket WORDPRESS-547 in our issue tracking system for further investigation and rectification. We will keep you updated about the issue resolution progress within this forum thread.