ports/editors/se/patches
