A text editor for Android devices.