Docs now state there's no need to install Jedi