Perhaps making the Editing: <file> label editable would solve the problem. That way even if you accidentally save the file as scriptwhatever.ini, you can just edit the name.