A convenient, carefully designed text editor and Notepad replacement