pkgsrc/editors/jove/patches