Version-controlled text editor