/editors/jove/pkg/