pkgsrc/editors/jove
