NoTex — an editor for you.