pkgsrc/editors/jde/patches