When saving a buffer under a different name, existing buffers with that name adopt the new content. For now, disable the dirty-buffer check on exit.