Das Program nennt sich ODSEDIT.
Kann man sich eigentlich überall downloaden.
Suche doch einfach über google.
Ist ein ganz normaler Editor.