ports/editors/ted/patches
