jedi backend seems to offer better completion