Is there a terminal command string that can be used to permanently enable "Save As..." in the File menu? I can keep doing the Option key but it's something I use on a regular basis.