(Mac) Diagram Export to File requires typing an extension Follow

I had a trouble trying to figure out why Export to File produces zero-bytes files. Finally, I figured that I have to type `.png` extension, which is not offered by default. It is an annoyance: looks like a small defect.