Something else wrote to the file after it was opened here — another tab, another
editor, or a git checkout. Reloading discards what is in this window; overwriting
discards what is on disk. Either way the previous text is kept as a snapshot under
History.