melpa/recipes/jedi