pkgsrc/editors/py-jedi