But if we decide to keep the timestamp, I can always just *add* the "unsaved changes" message, but the save widget's text is already too long, and needs to be shorter.