Added jedi to devtools