Feature request: shift click on "save" button is "save as"

[mathvav]

When you hold down shift and hover over a button, it gives you a similar option like shown below.

Open becomes open in a new window. The only ones that don't have this are:

• Verify
• Save

Couldn't we add a "save as" option to the save button? This would be a nice feature.

I can't think of anything for verify besides a few compiler options (different optimization levels, verbose, etc.), but that would awkward because it isn't uniform with the upload button.