Export project file
What it is
An item in the ▾ menu beside Save.
What to enter
Nothing to enter. It is a button you press.
What it changes
Same as Export in the sidebar: downloads the project as a file named after the project, with secrets taken out. It does not save to the cloud. Nothing in the house changes. Nothing in the app changes.
If it goes wrong
If no file appears, check your browser's downloads.