Guarantee that TextDocument.version doesn't skip versions

Currently https://code.visualstudio.com/api/references/vscode-api#TextDocument version is said to "strictly increase": > The version number of this document (it will strictly increase after each change, including undo/redo). As it stands today, it increases by 1 each time (doesn't skip versions) but this logic is not guaranteed in the API description. Can we please state this as a requirement so that we could rely on it in extensions e.g. diff tracking systems? Many thanks.