a "distraction-free" text editor