ports/editors/ted
