The local export is not just faster, it's functionally better: there are a few useful options you can tweak. The one option I'm using local export for is increasing detail, e.g. to get a very round object without noticeable edges around the perimeter.
If you save it via the export as workaround it takes milliseconds to save.
If you save it via the default menu you are in for a 2 minute wait where their cloud is doing something and then it generates the same file.
Absurd.