pkgsrc/editors/jove/files