https://digitalixy.com/tech/maude/795509/why-you-need-a-plain-text-editor/