We could have both. The "save" button just becomes a pointer to a specific point in the revision history, the same way we already have that with git.