Trying to get completions for calltips with jedi: apparently not working (postponing integration for now).