Export from Web IDE

How can I export (copy) my app source from Particle Web IDE to my local computer.

Praise the search functionality:

And I’m pretty sure there are more of those out there.