A text editor that puts revision at your fingertips.