proof of concept: version-aware text editor ("patches.js").