I have made most of these changes in revision 6447 of the svn trunk:
Save to is now Save
Save as is now Save AS
There is a helpful message about using the back button on the browser to reclaim lost edits.
I have not changed the default naming scheme because determining the correct behavior is complicated. If the file to be saved is a library problem (the most common situation for me) then one does want the file to be saved with the same name but with local prepended to the path. If local is already prepended to the path a second local is not added. Hence the suggested Save AS path is the same as the current path. Determining the correct logic for the most "intuitive" behavior in renaming a file is a bigger project, which I have postponed.