NoTex — an editor for you!