Hmm it's apparently hard to find information about the feature, at least from a quick Google.

This SO post at least talks about it: https://superuser.com/questions/1256265/how-to-export-an-min...

I've used it myself plenty of times for my personal website with good results.