small and friendly text editor (a free replacement for Pico) 