XML Mill is a GUI based text editor with a memory