An editron editor:

A totally different editron editor:

Another independent editor:

And a last one: