Comment by arthurtw

Those terms are for the site, not for the text editor. :-) I might open source the editor when I have time.