Open source text editor for Android (frozen)